Vytopil, J. (1991). Formal techniques in real-time and fault-tolerant systems: Second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationVytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992, Proceedings. Berlin ; New York: Springer-Verlag, 1991.
MLA (8th ed.) CitationVytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992, Proceedings. Springer-Verlag, 1991.
Warning: These citations may not always be 100% accurate.