Formal Techniques, Modelling and Analysis of Timed and Fault
by: Yassine Lakhnech, Sergio Yovine
Print length: 397
Publication date: 2004-12-14
ISBN-10: 3540231676
ISBN-13: 9783540231677
Formal Techniques, Modelling and Analysis of Timed and Fault
by: Yassine Lakhnech, Sergio Yovine
Print length: 397
Publication date: 2004-12-14
ISBN-10: 3540231676
ISBN-13: 9783540231677