Scan barcode
232 pages • missing pub info (editions)
ISBN/UID: 9783540503026
Format: Paperback
Language: English
Publisher: Springer
Publication date: 14 September 1988
Description
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate differen...
Community Reviews
Content Warnings
232 pages • missing pub info (editions)
ISBN/UID: 9783540503026
Format: Paperback
Language: English
Publisher: Springer
Publication date: 14 September 1988
Description
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate differen...