Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19 - 23, 1994. Proceedings (Paperback, 1994 ed.)
Ships in 10 - 15 working days