1.
Formal Modeling And Analysis Of Timed Systems First International Workshop, FORMATS 2003, Ma...
by Larsen, Kim G., Niebert, Peter
ISBN: 9783540216711
List Price: $63.00
2.
Formal Modeling and Analysis of Timed Systems
by Larsen, Kim G., Niebert, Peter
ISBN: 9783662165423
List Price: $24.99