Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings, 3rd International Symposium, Lubeck, 1994
Material type: TextSeries: Lecture notes in computer science ; 00863Publication details: Berlin ; Springer Verlag ; 1994Description: 787ISBN: 3540584684Subject(s): Formal Techniques Real-time Fault-Tolerant SystemsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 32144 |
There are no comments on this title.