Computer aided verification [electronic resource] : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou, eds.
This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of metho...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
©1992.
|
| Series: | Lecture notes in computer science ;
575. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.E93 C38 1991
|
|---|---|
| QA76.76.E93 C38 1991 | Available |