Principles of Model Checking
Publikation: Buch/Konferenzbericht/Sammelband/Gutachten › Monographie › Beigetragen
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Erscheinungsort | Cambridge |
| Seitenumfang | 975 |
| Auflage | Neuerscheinung |
| Publikationsstatus | Veröffentlicht - 2008 |
| Peer-Review-Status | Nein |
Externe IDs
| ORCID | /0000-0002-5321-9343/work/142236681 |
|---|