Homayoun Dayani-Fard, Andrew J. Malton. Phased development of critical real-time systems in timed CSP. In Dennis Bockus, Karen Bennet, W. Morven Gentleman, J. Howard Johnson, Evelyn Kidd, editors, Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada. pages 17, IBM, 1995. [doi]
@inproceedings{Dayani-FardM95,
title = {Phased development of critical real-time systems in timed CSP},
author = {Homayoun Dayani-Fard and Andrew J. Malton},
year = {1995},
doi = {10.1145/781932},
url = {http://doi.acm.org/10.1145/781932},
researchr = {https://researchr.org/publication/Dayani-FardM95},
cites = {0},
citedby = {0},
pages = {17},
booktitle = {Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada},
editor = {Dennis Bockus and Karen Bennet and W. Morven Gentleman and J. Howard Johnson and Evelyn Kidd},
publisher = {IBM},
}