hide
Title:
Automated Technology for Verification and Analysis
Abbreviation
:
ATVA 2008
Subtitle
:
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Source Genre:
Proceedings
Creator(s):
Cha, Sungdeok1, Editor
Choi, Jin-Young1, Editor
Kim, Moonzoo1, Editor
Lee, Insup1, Editor
Viswanathan, Mahesh1, Editor
Affiliations:
1
External Organizations, ou_persistent22
Publ. Info:
Berlin : Springer
Pages:
-
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
186 - 200
Identifier:
ISBN: 978-3-540-88386-9