%0 Conference Paper %1 shankar_05_reasoning %A Shankar, Subash %A Asa, Sinan %A Sipos, Vladimir %A Xu, Xiaowei %B ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering %C New York, NY, USA %D 2005 %I ACM Press %K semantics 2005 statecharts %P 243--252 %R 10.1145/1101908.1101945 %T Reasoning about real-time statecharts in the presence of semantic variations %U http://dx.doi.org/10.1145/1101908.1101945 %@ 1595939934

@inproceedings{shankar_05_reasoning, added-at = {2009-02-11T21:04:00.000+0100}, address = {New York, NY, USA}, author = {Shankar, Subash and Asa, Sinan and Sipos, Vladimir and Xu, Xiaowei}, biburl = {https://www.bibsonomy.org/bibtex/20064aba66129e4d2c75d572eebf83b2c/leonardo}, booktitle = {ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering}, citeulike-article-id = {573539}, doi = {10.1145/1101908.1101945}, interhash = {137b45754cf7d690b997a9894c4c2990}, intrahash = {0064aba66129e4d2c75d572eebf83b2c}, isbn = {1595939934}, keywords = {semantics 2005 statecharts}, pages = {243--252}, posted-at = {2006-04-03 02:24:10}, priority = {3}, publisher = {ACM Press}, timestamp = {2009-02-11T21:04:00.000+0100}, title = {Reasoning about real-time statecharts in the presence of semantic variations}, url = {http://dx.doi.org/10.1145/1101908.1101945}, year = 2005 }