Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997 (Q1273549)
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: Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997 |
scientific article; zbMATH DE number 1230703
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997 |
scientific article; zbMATH DE number 1230703 |
Statements
Verification of infinite state systems, Infinity '97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11--12, 1997 (English)
0 references
7 December 1998
0 references
Bologna (Italy)
0 references
Workshop
0 references
Proceedings
0 references
Infinite state systems
0 references
Infinity '97
0 references
0.95594823
0 references
0.9241567
0 references
0.9120804
0 references
0.91125804
0 references
0.90811235
0 references
0.9078914
0 references
0.9030893
0 references
