Werner Damm, J. Helbig. Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. In Ernst-RĂ¼diger Olderog, editor, Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994. Volume A-56 of IFIP Transactions, pages 341-359, North-Holland, 1994.
@inproceedings{DammH94:0, title = {Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams}, author = {Werner Damm and J. Helbig}, year = {1994}, tags = {rule-based, composition}, researchr = {https://researchr.org/publication/DammH94%3A0}, cites = {0}, citedby = {0}, pages = {341-359}, booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994}, editor = {Ernst-RĂ¼diger Olderog}, volume = {A-56}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-82020-5}, }