Formal Techniques in Real-Time and Fault-Tolerant Systems: Proc./Third Intern. Symp. Organized Jointly with the Working Group Provably Correct Systems - ProCoS. Lubeck, Germany, September 1994

Б2.23, А3.45, А5.15, А3.13.

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proc./Third Intern. Symp. Organized Jointly with the Working Group Provably Correct Systems - ProCoS. Lubeck, Germany, September 1994Ed. by Langmaack H., De Roever W. -P., Vytopil J..-Berlin, Heidelberg.: Springer, 1994.-Vol. 863.-787 p.-(Lecture Notes in Computer Science).