Colin J. Fidge. Specification and Verification of Real-Time Behaviour Using Z and RTL. In Jan Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings. Volume 571 of Lecture Notes in Computer Science, pages 393-409, Springer, 1992.
@inproceedings{Fidge92:0, title = {Specification and Verification of Real-Time Behaviour Using Z and RTL}, author = {Colin J. Fidge}, year = {1992}, researchr = {https://researchr.org/publication/Fidge92%3A0}, cites = {0}, citedby = {0}, pages = {393-409}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings}, editor = {Jan Vytopil}, volume = {571}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55092-5}, }