Principles of the SPIN model checker. Foreword by Gerard J. Holzmann (Q5452300)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Principles of the SPIN model checker. Foreword by Gerard J. Holzmann |
scientific article; zbMATH DE number 5253706
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Principles of the SPIN model checker. Foreword by Gerard J. Holzmann |
scientific article; zbMATH DE number 5253706 |
Statements
26 March 2008
0 references
PROMELA language
0 references
0.8502076268196106
0 references
0.8345333337783813
0 references
