| Shelfclass_id | 4.B.3 |
| Sortkey | CAV |
| Authors | Rajeev Alur, Thomas A. Henzinger |
| Title | CAV 1996: Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings |
| Publisher | Springer |
| Year | 1996 |
| Languages | eng |
| Isbn | 3540614745 |
| Series | Lecture Notes in Computer Science |
| Volume | 1102 |
| Issn | 0302-9743 |
| Description | 472 p. ill. |
| Record date | 20090901 |
| Location | Berlin |
| Keywords | Symbolic verification, Verification, computing, Verifying systems, Program verification, Mathematical logic |