%0 Conference Paper %1 conf/kbse/ShankarASX05 %A Shankar, Subash %A Asa, Sinan %A Sipos, Vladimir %A Xu, Xiaowei %B ASE %D 2005 %E Redmiles, David F. %E Ellman, Thomas %E Zisman, Andrea %I ACM %K dblp %P 243-252 %T Reasoning about real-time statecharts in the presence of semantic variations. %U http://dblp.uni-trier.de/db/conf/kbse/ase2005.html#ShankarASX05 %@ 1-58113-993-4

@inproceedings{conf/kbse/ShankarASX05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shankar, Subash and Asa, Sinan and Sipos, Vladimir and Xu, Xiaowei}, biburl = {https://www.bibsonomy.org/bibtex/2fb4bbf1efada358bd2b65f0edb13740a/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2005}, editor = {Redmiles, David F. and Ellman, Thomas and Zisman, Andrea}, ee = {https://doi.org/10.1145/1101908.1101945}, interhash = {137b45754cf7d690b997a9894c4c2990}, intrahash = {fb4bbf1efada358bd2b65f0edb13740a}, isbn = {1-58113-993-4}, keywords = {dblp}, pages = {243-252}, publisher = {ACM}, timestamp = {2018-11-07T13:04:55.000+0100}, title = {Reasoning about real-time statecharts in the presence of semantic variations.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2005.html#ShankarASX05}, year = 2005 }