%0 Conference Paper %1 beeck_00_concise %A von der Beeck, Michael %B FORTE/PSTV 2000: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) %C Deventer, The Netherlands, The Netherlands %D 2000 %I Kluwer, B.V. %K semantics statecharts _no_doi 2000 %P 335--350 %T A Concise Compositional Statecharts Semantics Definition %U http://portal.acm.org/citation.cfm?id=758759 %@ 0792379683

@inproceedings{beeck_00_concise, added-at = {2009-02-11T22:22:39.000+0100}, address = {Deventer, The Netherlands, The Netherlands}, author = {von der Beeck, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2b2d3ea56e444b7d9177fe9a913ca25f8/leonardo}, booktitle = {FORTE/PSTV 2000: Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)}, citeulike-article-id = {895486}, interhash = {827db3e47f3fc88f1ba937a689fabbc9}, intrahash = {b2d3ea56e444b7d9177fe9a913ca25f8}, isbn = {0792379683}, keywords = {semantics statecharts _no_doi 2000}, pages = {335--350}, posted-at = {2006-10-13 16:01:42}, priority = {3}, publisher = {Kluwer, B.V.}, timestamp = {2009-02-11T22:22:39.000+0100}, title = {A Concise Compositional Statecharts Semantics Definition}, url = {http://portal.acm.org/citation.cfm?id=758759}, year = 2000 }