Original language | English |
---|---|
Title of host publication | Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94) |
Publisher | Springer Verlag |
Publication date | 1994 |
Pages | 288-335 |
Publication status | Published - 1994 |
Event | Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94) - Duration: 1 Jan 1994 → … |
Conference
Conference | Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94) |
---|---|
Period | 01/01/1994 → … |