%0 Conference Paper %1 conf/concur/UseltonS94 %A Uselton, Andrew C. %A Smolka, Scott A. %B CONCUR %D 1994 %E Jonsson, Bengt %E Parrow, Joachim %I Springer %K dblp %P 2-17 %T A Compositional Semantics for Statecharts using Labeled Transition Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur1994.html#UseltonS94 %V 836 %@ 3-540-58329-7

@inproceedings{conf/concur/UseltonS94, added-at = {2017-05-22T00:00:00.000+0200}, author = {Uselton, Andrew C. and Smolka, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/29ffda5ee076d80c1d65cc69c401955ab/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1994}, editor = {Jonsson, Bengt and Parrow, Joachim}, ee = {https://doi.org/10.1007/978-3-540-48654-1_2}, interhash = {6558b333bb869bc1023103da8266445c}, intrahash = {9ffda5ee076d80c1d65cc69c401955ab}, isbn = {3-540-58329-7}, keywords = {dblp}, pages = {2-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:26:41.000+0200}, title = {A Compositional Semantics for Statecharts using Labeled Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1994.html#UseltonS94}, volume = 836, year = 1994 }