Screen LibraryComputer aided verification：11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
Springer,
|
| Publisher Address: | Berlin |
| Publication Dates: | c1999. |
| Literature type: | Book |
| Language: | English |
| Series: |
Lecture notes in computer science ; 1633 |
| Subjects: | |
| Carrier Form: | xii, 506 p.: ill. ; 24 cm. |
| ISBN: | 3540662022 |
| Index Number: | TP306 |
| CLC: |
TP306-532 TP391.76-532 TP301-532 |
| Call Number: | TP301-532/C738/1999 |
| Contents: | Includes bibliographies and index. |