Ravn, Anders P.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal techniques in real-time and fault-tolerant systems = 5th international symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998 : proceedings /
by:
Ravn, Anders P.; Rischel, Hans.; SpringerLink (Online service); FTRTFT '98 ((1998 :)
(Language materials, printed)