225 Years of Model Checking25 Years of Model Checkingde Orna Grumberg, Helmut VeithEdiciones (1)25 Years of Model Checking (2008)Springer London, Limited · inglés · ISBN 9783540698500Más obras de Orna Grumberg25 Years Of Model Checking History Achievements PerspectivesLanguages From Formal to Natural Lecture Notes in Computer Science
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
