%0 Journal Article %1 journals/eceasst/KumarM08 %A Kumar, Rahul %A Mercer, Eric G. %D 2008 %J ECEASST %K dblp %T Improving Live Sequence Chart to Automata Transformation for Verification. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst10.html#KumarM08 %V 10

@article{journals/eceasst/KumarM08, added-at = {2020-02-09T00:00:00.000+0100}, author = {Kumar, Rahul and Mercer, Eric G.}, biburl = {https://www.bibsonomy.org/bibtex/27b253a8f2c488d904fc02f54d6809b50/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.10.151}, interhash = {943acdbd75ea5d3d5e950b0d4fcaa142}, intrahash = {7b253a8f2c488d904fc02f54d6809b50}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2020-02-11T11:41:16.000+0100}, title = {Improving Live Sequence Chart to Automata Transformation for Verification.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst10.html#KumarM08}, volume = 10, year = 2008 }