%0 Journal Article %1 journals/jsw/PrashanthS09 %A Prashanth, Chikmagalur Manjappa %A Shet, K. Chandrashekar %D 2009 %J J. Softw. %K dblp %N 3 %P 175-182 %T Efficient Algorithms for Verification of UML Statechart Models. %U http://dblp.uni-trier.de/db/journals/jsw/jsw4.html#PrashanthS09 %V 4

@article{journals/jsw/PrashanthS09, added-at = {2020-09-15T00:00:00.000+0200}, author = {Prashanth, Chikmagalur Manjappa and Shet, K. Chandrashekar}, biburl = {https://www.bibsonomy.org/bibtex/247b300b3771f7d1fdb2b414194b80cb0/dblp}, ee = {http://www.jsoftware.us/index.php?m=content&c=index&a=show&catid=117&id=1998}, interhash = {4697409e1767518f1fb6383aa95d3b17}, intrahash = {47b300b3771f7d1fdb2b414194b80cb0}, journal = {J. Softw.}, keywords = {dblp}, number = 3, pages = {175-182}, timestamp = {2020-09-16T11:38:00.000+0200}, title = {Efficient Algorithms for Verification of UML Statechart Models.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw4.html#PrashanthS09}, volume = 4, year = 2009 }