Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [E-Book] : Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant S / by Yassine Lakhnech, Sergio Yovine.
Lakhnech, Yassine.
Yovine, Sergio.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
Lecture Notes in Computer Science ; 3253
Full Text
Description not available.