You are here

Home ›

Publications

Export 1 results:
Filters: Author is O. Grumberg  [Clear All Filters]
2010
G. Jäger, “Modal Fixed Point Logics”, in Logics and {L}anguages for {R}eliability and {S}ecurity, 2010, vol. 25.