Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet. Efficient Algorithms for Verification of UML Statechart Models. JSW, 4(3):175-182, 2009. [doi]
@article{PrashanthS09,
title = {Efficient Algorithms for Verification of UML Statechart Models},
author = {Chikmagalur Manjappa Prashanth and K. Chandrashekar Shet},
year = {2009},
doi = {10.4304/jsw.4.3.175-182},
url = {http://dx.doi.org/10.4304/jsw.4.3.175-182},
tags = {UML},
researchr = {https://researchr.org/publication/PrashanthS09},
cites = {0},
citedby = {0},
journal = {JSW},
volume = {4},
number = {3},
pages = {175-182},
}