Principles of the Spin Model Checker

Full text!
Type:
e-book
Titel:
Principles of the Spin Model Checker
Auteur:
Ben-Ari, Mordechai; Benari, Mordechai
Taal:
Engels
Uitgever:
Springer London 2008
ISBN:
1-84628-769-3
1-84628-770-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000490880