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
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 