By Katoen J.-P.   Nymeyer A.   in Theoretical Computer Science

ISSN:0304-3975|238|1|439-464

Elsevier‎(2000)‎

Access to resources Favorite 9.114002

By Hermanns H.   Herzog U.   Katoen   in Theoretical Computer Science

ISSN:0304-3975|274|1|43-87

Elsevier‎(2002)‎

Access to resources Favorite 8.463003

By Katoen Joost-Pieter   Stevens Perdita   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|6|2|99-101

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 8.463003

By Baier C.   Hermanns H.   Katoen J.-P.   in Information Processing Letters

ISSN:0020-0190|89|3|123-130

Elsevier‎(2004)‎

Access to resources Favorite 7.161002

By Buchholz Peter   Katoen Joost-Pieter   Verhoef Marcel   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|6|605-606

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 7.161002

By Hahn Ernst   Hartmanns Arnd   Hermanns Holger   Katoen Joost-Pieter   in Formal Methods in System Design

ISSN:0925-9856|43|2|191-232

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 6.510002

Principles of Model Checking‎

By Baier   Christel;Katoen   Joost-Pieter;Larsen   Kim Guldstrand  

ISBN:9780262267564

MIT Press‎(2008)‎

Access to resources Favorite 6.510002