(1996). Formal techniques in real time and fault tolerant systems: 4th international symposium Uppsala, Sweden, September 9 - 13, 1996 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Formal Techniques in Real Time and Fault Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9 - 13, 1996 ; Proceedings. Berlin [u.a.]: Springer, 1996.
MLA-Zitierstil (9. Ausg.)Formal Techniques in Real Time and Fault Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9 - 13, 1996 ; Proceedings. Springer, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.