%0 Conference Paper %1 conf/lctrts/Wasowski03 %A Wasowski, Andrzej %B LCTES %D 2003 %E Mueller, Frank %E Kremer, Ulrich %I ACM %K dblp %P 163-170 %T On efficient program synthesis from statecharts. %U http://dblp.uni-trier.de/db/conf/lctrts/lctes2003.html#Wasowski03 %@ 1-58113-647-1

@inproceedings{conf/lctrts/Wasowski03, added-at = {2024-02-05T00:00:00.000+0100}, author = {Wasowski, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/21ce4fdc7e3fd654e8e869cb684aeb87c/dblp}, booktitle = {LCTES}, crossref = {conf/lctrts/2003}, editor = {Mueller, Frank and Kremer, Ulrich}, ee = {https://doi.org/10.1145/780731.780755}, interhash = {7d12283584cb7bab25fba79abe066a19}, intrahash = {1ce4fdc7e3fd654e8e869cb684aeb87c}, isbn = {1-58113-647-1}, keywords = {dblp}, pages = {163-170}, publisher = {ACM}, timestamp = {2024-04-09T09:43:46.000+0200}, title = {On efficient program synthesis from statecharts.}, url = {http://dblp.uni-trier.de/db/conf/lctrts/lctes2003.html#Wasowski03}, year = 2003 }