Publications
171 Entries
2008
-
Principles of Model Checking, 2008, Neuerscheinung ed., Cambridge, 975 p.Research output: Book/Report/Anthology > Monograph
This information is provided by the FIS.