Citazione Stile APA (7a Edizione)
Vytopil, J. (1991). Formal techniques in real-time and fault-tolerant systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 (1.vyd.). Springer Verlag.
Citazione stile Chigago Style (17a edizione)
Vytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992. 1.vyd. Berlin: Springer Verlag, 1991.
Citatione MLA (9a ed.)
Vytopil, J. Formal Techniques in Real-time and Fault-tolerant Systems: Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992. 1.vyd. Springer Verlag, 1991.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.