Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
₹7,769
Author
Books by Christel Baier
Showing 1–2 of 2 books
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
₹4,252