| Shelfclass_id | 3.A |
| Sortkey | BURKART, OLAF |
| Authors | Olaf Burkart |
| Title | Automatic Verification of Sequential Infinite-State Processes |
| Publisher | Springer-Verlag |
| Year | 1997 |
| Languages | eng |
| Isbn | 3540639829 |
| Series | Lecture Notes in Computer Science |
| Volume | 1354 |
| Issn | 0302-9743 |
| Description | x, 163 p. 24 cm |
| Record date | 20110503 |
| Location | Berlin |