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.).

Author/creator FTRTFT '98
Other author Ravn, Anders P.
Other author Rischel, Hans.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionviii, 338 p. : ill. ; 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, 0302-9743 ; 1486
General note"Fifth in a line of international schools and symposia"--Pref.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 98040041
ISBN3540650032 (softcover)