Formal techniques in real-time and fault-tolerant systems.
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 36269087
- Subject: Real-time data processing Congresses.
- Subject code: QA
- Publication history: [1st] (Sept. 22-23, 1988)-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1988; 1991; 1996; 1998; 2000; 2002 | permanent |