Verification Algorithms for Concurrent and Reactive Systems (Monographs in Computer Science)
by
Pierre Wolper
Gebunden
details (
Germany
).
ISBN: 978-0-387-94812-6
ISBN-10: 0-387-94812-0
Springer US