Provably correct systems |
| | Type | Conference paper [With referee] | | Conference | Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94) | | Editors | H. Langmaack, W.-P. de Roever, and J. Vytopil | | Year | 1994 pp. 288-335 | | Publisher | Springer Verlag | | Series | Lecture Notes in Computer Science, vol. 863 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|