Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998

Anders Peter Ravn, H. (Ed.) Rischel

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationBerlin
PublisherIEEE Computer Society Press
ISBN (Print)3540650032
Publication statusPublished - 1998
SeriesLecture Notes in Computer Science
Number1486
ISSN0302-9743

Cite this