25 Years Of Model Checking: History, Achievements, Perspectives
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | June 17, 2008 |
| Authors | Orna Grumberg |
| Editors | Orna Grumberg |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2078418 |
About 25 Years Of Model Checking: History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. . . .