Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna. Graphical Specifications for Concurrent Software Systems. In ICSE. pages 214-224, 1992. [doi]
@inproceedings{DillonKMMR92,
title = {Graphical Specifications for Concurrent Software Systems},
author = {Laura K. Dillon and G. Kutty and Louise E. Moser and P. M. Melliar-Smith and Y. S. Ramakrishna},
year = {1992},
doi = {10.1145/143062.143116},
url = {http://doi.acm.org/10.1145/143062.143116},
tags = {e-science},
researchr = {https://researchr.org/publication/DillonKMMR92},
cites = {0},
citedby = {0},
pages = {214-224},
booktitle = {ICSE},
}