25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith.
By: Grumberg, Orna.
Contributor(s): Veith, Helmut | SpringerLink (Online service).
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
No physical items for this record
There are no comments for this item.