Marcin Engel. Specifying Real-Time Systems with Z and the Duration Calculus. In Z User Workshop. pages 282-294, 1994.
@inproceedings{Engel94,
title = {Specifying Real-Time Systems with Z and the Duration Calculus},
author = {Marcin Engel},
year = {1994},
researchr = {https://researchr.org/publication/Engel94},
cites = {0},
citedby = {0},
pages = {282-294},
booktitle = {Z User Workshop},
}