Communiqués par W P De Roever

Cover for W P De Roever · 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 (International Symposium Organized J (Paperback Book) (1994)
Paperback Book
Formal Techniques in Real-time a...
W P De Roever