%0 Conference Paper %1 conf/procomet/DammH94 %A Damm, Werner %A Helbig, J. %B PROCOMET %D 1994 %E Olderog, Ernst-Rüdiger %I North-Holland %K dblp %P 341-359 %T Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. %U http://dblp.uni-trier.de/db/conf/procomet/procomet1994.html#DammH94 %V A-56 %@ 0-444-82020-5

@inproceedings{conf/procomet/DammH94, added-at = {2002-01-03T00:00:00.000+0100}, author = {Damm, Werner and Helbig, J.}, biburl = {https://www.bibsonomy.org/bibtex/29d4108a06fd43150356cda5707623787/dblp}, booktitle = {PROCOMET}, crossref = {conf/procomet/1994}, date = {2002-01-03}, description = {dblp}, editor = {Olderog, Ernst-Rüdiger}, interhash = {5215e84c6677063e60ecebf74ab40b96}, intrahash = {9d4108a06fd43150356cda5707623787}, isbn = {0-444-82020-5}, keywords = {dblp}, pages = {341-359}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/procomet/procomet1994.html#DammH94}, volume = {A-56}, year = 1994 }