APA ציטוט

Working Group Provably Correct Systems, Langmaack, H., Vytopil, J., & Roever, W. d. (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. Springer-Verlag.

Chicago Style (17th ed.) Citation

Working Group Provably Correct Systems, Hans Langmaack, J. Vytopil, and 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, Lübeck, Germany, September 19-23, 1994 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.

ציטוט MLA

Working Group Provably Correct Systems, et al. 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. Springer-Verlag, 1994.