International Symposium on Formal techniques in real-time and fault-tolerant systems :Uppsala, Suède, Jonsson, B., & Parrow, J. Formal techniques in real-time and fault-tolerant systems: 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings. Springer.
Цитирование в стиле Чикаго (17-е изд.)International Symposium on Formal techniques in real-time and fault-tolerant systems :Uppsala, Suède, Bengt Jonsson, и Joachim Parrow. Formal Techniques in Real-time and Fault-tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : Proceedings. Berlin [etc.]: Springer.
Цитирование MLA (8-е изд.)International Symposium on Formal techniques in real-time and fault-tolerant systems :Uppsala, Suède, et al. Formal Techniques in Real-time and Fault-tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : Proceedings. Springer.