Computer 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. |