Joost-Pieter Katoen

2 books

Principles of Model Checking by Joost-Pieter Katoen, Christel Baier

Principles of Model Checking
Mit Press

Joost-Pieter Katoen, Christel Baier

975 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced

nonfiction computer science science informative medium-paced

Principles of Model Checking by Joost-Pieter Katoen, Christel Baier

Principles of Model Checking

Joost-Pieter Katoen, Christel Baier

975 pages • missing pub info (editions)

nonfiction computer science science informative medium-paced

nonfiction computer science science informative medium-paced

Validation of Stochastic Systems: A Guide to Current Research by Christel Baier

Validation of Stochastic Systems: A Guide to Current Research
—
Christel Baier

Validation of Stochastic Systems: A Guide to Current Research
Christel Baier with Holger Hermanns, Markus Siegel, Boudewijn R. Haverkort, Joost-Pieter Katoen

465 pages • first pub 2004 (editions)

Validation of Stochastic Systems: A Guide to Current Research by Christel Baier

Validation of Stochastic Systems: A Guide to Current Research
—
Christel Baier

Validation of Stochastic Systems: A Guide to Current Research

Christel Baier with Holger Hermanns, Markus Siegel, Boudewijn R. Haverkort, Joost-Pieter Katoen

465 pages • first pub 2004 (editions)

More...