Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
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 ProceedingsDamm, Werner ; Olderog, Ernst -Rüdiger Damm, Werner ; Olderog, Ernst -RüdigerBerlin, Heidelberg: Springer Berlin Heidelberg 2002Texto completo disponível |