Formal techniques in real-time and fault-tolerant systems 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 / Mathai Joseph (ed.).

Author/creator FTRTFT 2000
Other author Joseph, M.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionx, 303 p. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

SeriesLecture notes in computer science ; 1926
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 00045001
ISBN3540410554 (softcover : alk. paper)