Modal Fixed Point Logics
| Title | Modal {F}ixed {P}oint {L}ogics |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Jäger, G |
| Editor | J. Esparza, B. Spanfelner, O. Grumberg |
| Conference Name | Logics and {L}anguages for {R}eliability and {S}ecurity |
| Publisher | IOS Press |
| URL | http://www.iam.unibe.ch/ltgpub/2010/jae10.pdf |
| DOI | 10.3233/978-1-60750-100-8-129 |
| Citation Key | jae10 |
