Katoen, Joost Pieter books & textbook
Principles of Model Checking (Mit Press)
Baier, Christel Katoen, Joost-Pieter Larsen, Kim Guldstrand
The MIT Press /2008-04-25 Hardcover / 975 Pages
isbn-10: 026202649X / isbn-13: 9780262026499
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)
Baier, Christel Haverkort, Boudewijn R. Hermanns, Holger Katoen, Joost-Pieter Siegle, Markus
Springer /2004-08-11 Paperback / 480 Pages
isbn-10: 3540222650 / isbn-13: 9783540222651
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472)
Broy, Manfred Jonsson, Bengt Katoen, Joost-Pieter Leucker, Martin Pretschner, Alexander
Springer /2005-06-27 Paperback / 672 Pages
isbn-10: 3540262784 / isbn-13: 9783540262787
CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings (Lecture Notes in Computer Science, 6901)
Katoen, Joost-Pieter König, Barbara
Springer /2011-08-26 Paperback / 574 Pages
isbn-10: 3642232167 / isbn-13: 9783642232169
Tools and Algorithms for the Construction and Analysis of Systems
Katoen, Joost-Pieter Stevens, Perdita
Springer /2002-03-20 Paperback / 482 Pages
isbn-10: 3540434194 / isbn-13: 9783540434191
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July ... (Lecture Notes in Computer Science, 2090)
Brinksma, Ed Hermanns, Holger Katoen, Joost-Pieter
Springer /2001-08-29 Paperback / 442 Pages
isbn-10: 3540424792 / isbn-13: 9783540424796
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Programming and Software Engineering)
Katoen, Joost-Pieter Langerak, Rom Rensink, Arend
Springer /2017-09-29 Paperback / 403 Pages
isbn-10: 3319682695 / isbn-13: 9783319682693
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science)
Chechik, Marsha Katoen, Joost-Pieter Leucker, Martin
Springer /2023-03-03 Paperback / 676 Pages
isbn-10: 3031274806 / isbn-13: 9783031274800
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings (Programming and Software Engineering)
Guan, Nan Katoen, Joost-Pieter Sun, Jun
Springer /2019-11-10 Paperback / 156 Pages
isbn-10: 303035539X / isbn-13: 9783030355395
