Principles of model checking / Christel Baier, Joost-Pieter Katoen [E-Book]
Baier, Christel.
Katoen, Joost-Pieter.
Cambridge, Mass. : MIT Press, 2008
xvii, 975 pages : illustrations
englisch
Full Text
Description not available.