Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998 : proceedings
Anders P. Ravn, Hans Rischel (eds.)
Bok Engelsk 1998 FTRTFT '98
| Utgitt | Berlin : Springer , c1998
|
|---|---|
| Omfang | VIII, 338 s. : ill.
|
| Emner | |
| ISBN | 3540650032
|
