Modularity and Composition in Propositional Statecharts

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]

Authors

Hywel R. Dunn-Davies

This author has not been identified. Look up 'Hywel R. Dunn-Davies' in Google

Jim Cunningham

This author has not been identified. Look up 'Jim Cunningham' in Google

Shamimabi Paurobally

This author has not been identified. Look up 'Shamimabi Paurobally' in Google