Mamoun Filali, Philippe Mauran, Gérard Padiou. Unity, as a Tool for Reactive Systems Specification and Derivation. In Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings. pages 274-279, IEEE, 1993. [doi]
@inproceedings{FilaliMP93,
title = {Unity, as a Tool for Reactive Systems Specification and Derivation},
author = {Mamoun Filali and Philippe Mauran and Gérard Padiou},
year = {1993},
doi = {10.1109/EMWRT.1993.639111},
url = {http://dx.doi.org/10.1109/EMWRT.1993.639111},
researchr = {https://researchr.org/publication/FilaliMP93},
cites = {0},
citedby = {0},
pages = {274-279},
booktitle = {Fifth Euromicro Workshop on Real-Time Systems, RTS 1993, Oulu, Finland, June 22-24, 1993. Proceedings},
publisher = {IEEE},
}