Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany

Author
Hans Langmaack, Willem-Paul Roever, Jan Vytopil
Publisher
Springer
Subject
Computer Science
Year
1994
Vol/Edition
863
ISBN
9783540489849