The Library
Rob Tristan Gerth: 1956-2003
Tools
UNSPECIFIED (2004) Rob Tristan Gerth: 1956-2003. COMPUTER AIDED VERIFICATION, 3114 . pp. 1-14. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | COMPUTER AIDED VERIFICATION | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-22342-8 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Alur, R and Peled, DA | ||||
Official Date: | 2004 | ||||
Dates: |
|
||||
Volume: | 3114 | ||||
Number of Pages: | 14 | ||||
Page Range: | pp. 1-14 | ||||
Publication Status: | Published | ||||
Title of Event: | 16th International Conference on Computer Aided Verification (CAV 2004) | ||||
Location of Event: | Boston, MA | ||||
Date(s) of Event: | JUL 13-17, 2004 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |