| 000 | 00607nam a2200193 4500 | ||
|---|---|---|---|
| 999 |
_c15941 _d15941 |
||
| 008 | 160616s2000 000 0 | ||
| 020 | _a3540410554 | ||
| 080 |
_a681 _bLNCS |
||
| 100 | _aJoseph, Mathai. Ed. | ||
| 245 | _aFormal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings, 6th International Symposium, FTRTFT 2000, Pune,2000 | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer | ||
| 260 | _c2000 | ||
| 300 | _a303 | ||
| 440 | _aLecture notes in computer science ; 01926 | ||
| 650 |
_aFormal Techniques _aReal-Time _aFault-Tolerant Systems |
||
| 690 | _aComputer Science | ||
| 942 | _cBK | ||