Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997 (Q5943257)
From MaRDI portal
scientific article; zbMATH DE number 1642609
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997 |
scientific article; zbMATH DE number 1642609 |
Statements
Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997 (English)
0 references
27 May 2002
0 references
The articles of this volume will be reviewed individually. The 1994 conference has been indicated (see Zbl 0875.00094). The 1999 conference has been indicated (see Zbl 0925.68015).
0 references
Special issue
0 references
Papers
0 references
Conference
0 references
CAV '97
0 references
Computer-aided verification
0 references
