25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science (5000), Band 5000)
von
Orna Grumberg
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-69849-4
ISBN-10: 3-540-69849-3
Springer
· 2008
