Home > Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Book Informaton
Author
Farn Wang
Series
Lecture Notes in Computer Science
Volume
3299
Year of Publication
2004
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XII, 510
Language
en
ISBN
9783540236108, 9783540304760, 3540236104
ARI Id
1664649569133
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |