Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings
Damm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -Rüdiger
Berlin, Heidelberg: Springer Berlin Heidelberg 2002
Texto completo disponível