Jost-Pieter Katoen
Baier Christel, Katoen Jost-Pieter:
Principles Of Model Checking
Mit Press Ltd (United States), 2008
Hardback, 936 pages
Tools And Algorithms For The Construction And Analysis Of Systems
8Th International Conference, Tacas 2002, Held As Part Of The Joint European Conferences On Theory And Practice Of Software, Etaps 2002, Grenoble, France, April 8-12, 2002. Proceedings
Editor: Jost-Pieter Katoen
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2002
Paperback, 495 pages
Formal Methods For Real-Time And Probabilistic Systems / International Amast Workshop, Arts '99, Bamberg, Germany, May 26-28, 1999 - Proceedings (5Th)
5Th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings
Editor: Jost-Pieter Katoen
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1999
Paperback, 365 pages



