Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1354), Band 1354)
von
Olaf Burkart
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-63982-4
ISBN-10: 3-540-63982-9
Springer
· 1997
