Shelfclass_id | 4.B.3 |
Sortkey | GRUMBERG, ORNA |
Authors | Orna Grumberg, Helmut Veith |
Title | 25 Years of Model Checking: History, Achievements, Perspectives |
Publisher | Springer |
Edition | 1st ed. |
Year | 2008 |
Languages | eng |
Isbn | 9783540698494 |
Series | Lecture Notes in Computer Science |
Volume | 5000 |
Issn | 0302-9743 |
Description | vi, 230 p. |
Record date | 20090910 |
Location | New York |