Model-Checking Large Finite-State Systems and Beyond (Q5448763)
From MaRDI portal
scientific article; zbMATH DE number 5246121
Language | Label | Description | Also known as |
---|---|---|---|
English | Model-Checking Large Finite-State Systems and Beyond |
scientific article; zbMATH DE number 5246121 |
Statements
Model-Checking Large Finite-State Systems and Beyond (English)
0 references
7 March 2008
0 references