Formal techniques in real-time and fault-tolerant systems: 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings /

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998. The 22 revised full papers presented were carefully selected and reviewed for inclusion in the b...

Full description

Bibliographic Details
Corporate Author:	FTRTFT '98 Lyngby, Denmark
Other Authors:	Ravn, Anders P, Rischel, Hans
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1998], ©1998 Berlin ; New York : c1998
Series:	Lecture notes in computer science 1486 Lecture notes in computer science, 1486 Lecture notes in computer science ; 1486 Lecture notes in computer science 1486
Subjects:	Computer science Fault-tolerant computing > Congresses Logic design Operating systems (Computers) Real-time data processing > Congresses Software engineering Fault-tolerant computing Real-time data processing Conference papers and proceedings Lyngby-Tårbaek (1998)

Internet

Yale University

Holdings details from Yale University
Call Number:	QA76 A1 L43 1486 (LC)

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.54 .F75 1998

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 1486

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 1486

Cornell University

Holdings details from Cornell University
Call Number:	QA76.54 .F72 1998

Columbia University

Holdings details from Columbia University
Call Number:	QA76.54 .F75 1998

Brown University

Holdings details from Brown University
Call Number:	QA76.54 .F75 1998