Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science)
von:
E. Allen Emerson
· A. Prasad Sistla
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-67770-3
ISBN-10: 3-540-67770-4
Springer
· 2000
