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
Springer (Publisher)
Published on 1. January 1994
Book
787 pages
978-0-387-58468-3 (ISBN)