Modal Fixed Point Logics

TitleModal Fixed Point Logics
Publication TypeConference Paper
Year of Publication2010
AuthorsJäger, G
EditorEsparza, J, Spanfelner, B, Grumberg, O
Conference NameLogics and Languages for Reliability and Security
PublisherIOS Press
URLhttp://www.iam.unibe.ch/ltgpub/2010/jae10.pdf
DOI10.3233/978-1-60750-100-8-129