1.
Specification and Compositional Verification of Real-Time Systems
by Hooman, J.
ISBN: 9783540549475
List Price: $59.95
2.
Specification and Compositional Verification of Real-Time Systems
by Hooman, J.
ISBN: 9780387549477
List Price: $53.95