Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally. Modularity and Composition in Propositional Statecharts. In Dave Barker-Plummer, Richard Cox, Nik Swoboda, editors, Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings. Volume 4045 of Lecture Notes in Computer Science, pages 98-103, Springer, 2006. [doi]
@inproceedings{Dunn-DaviesCP06,
title = {Modularity and Composition in Propositional Statecharts},
author = {Hywel R. Dunn-Davies and Jim Cunningham and Shamimabi Paurobally},
year = {2006},
doi = {10.1007/11783183_12},
url = {http://dx.doi.org/10.1007/11783183_12},
tags = {composition},
researchr = {https://researchr.org/publication/Dunn-DaviesCP06},
cites = {0},
citedby = {0},
pages = {98-103},
booktitle = {Diagrammatic Representation and Inference, 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings},
editor = {Dave Barker-Plummer and Richard Cox and Nik Swoboda},
volume = {4045},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35623-1},
}