Publications

Export 1 results:
Filters: Author is J. Esparza  [Clear All Filters]
2010
Jäger, G.: Modal Fixed Point Logics. In: Esparza, J., Spanfelner, B., and Grumberg, O. Logics and Languages for Reliability and Security. IOS Press (2010).