(2000). Formal techniques in real time and fault tolerant systems: 6th international symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; proceedings. Springer. https://doi.org/10.1007/3-540-45352-0
Chicago-Zitierstil (17. Ausg.)Formal Techniques in Real Time and Fault Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2000. https://doi.org/10.1007/3-540-45352-0.
MLA-Zitierstil (9. Ausg.)Formal Techniques in Real Time and Fault Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20 - 22, 2000 ; Proceedings. Springer, 2000. https://doi.org/10.1007/3-540-45352-0.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.