Damm, Werner.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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/
by:
Damm, Werner.; Olderog, Ernst-Rudiger.; SpringerLink (Online service); FTRTFT 2002 ((2002 :)
(Language materials, printed)