Principles of model checking - Baier, Christel; Katoen, Joost-Pieter 1964- (The MIT Press, 2008)
Ausgabe mit 963 Seiten, nicht identisch mit BV023241745
Keywords: Programmverifikation; Model Checking