The Library
Rob Tristan Gerth: 1956-2003
Tools
Tools
Tools
UNSPECIFIED (2004) Rob Tristan Gerth: 1956-2003. COMPUTER AIDED VERIFICATION, 3114 . pp. 1-14. ISSN 0302-9743
Full text not available from this repository.| 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 |
| Date: | 2004 |
| 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 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/8162 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
