FTRTFT '98 Lyngby, D., Ravn, A. P., & Rischel, H. (1998). Formal techniques in real-time and fault-tolerant systems: 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings. Springer.
Citación estilo ChicagoFTRTFT '98 Lyngby, Denmark), Anders P. Ravn, and Hans Rischel. Formal Techniques in Real-time and Fault-tolerant Systems: 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : Proceedings. Berlin ; New York: Springer, 1998.
Cita MLAFTRTFT '98 Lyngby, Denmark), Anders P. Ravn, and Hans Rischel. Formal Techniques in Real-time and Fault-tolerant Systems: 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : Proceedings. Berlin ; New York: Springer, 1998.
