Langmaack, H., Roever, W., & Vytopil, J. (1994). 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, September 19–23, 1994 Proceedings. Berlin [u.a.]: Springer.
Chicago Style CitationLangmaack, Hans, Willem-Paul Roever, and Jan Vytopil. 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, September 19–23, 1994 Proceedings. Berlin [u.a.]: Springer, 1994.
MLA CitationLangmaack, Hans, Willem-Paul Roever, and Jan Vytopil. 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, September 19–23, 1994 Proceedings. Berlin [u.a.]: Springer, 1994.