Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science (1102), Band 1102)
von:
Thomas Henzinger ·
Rajeev Alur
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-61474-6
ISBN-10: 3-540-61474-5
Springer
· 2008
