S. Jansamak, A. Surarerks. Formalization of UML Statechart Models Using Concurrent Regular Expressions. In Vladimir Estivill-Castro, editor, Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004. Volume 26 of CRPIT, pages 83-88, Australian Computer Society, 2004. [doi]
@inproceedings{JansamakS04, title = {Formalization of UML Statechart Models Using Concurrent Regular Expressions}, author = {S. Jansamak and A. Surarerks}, year = {2004}, url = {http://crpit.com/confpapers/CRPITV26Jansamak.pdf}, tags = {UML}, researchr = {https://researchr.org/publication/JansamakS04}, cites = {0}, citedby = {0}, pages = {83-88}, booktitle = {Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004}, editor = {Vladimir Estivill-Castro}, volume = {26}, series = {CRPIT}, publisher = {Australian Computer Society}, isbn = {1-920682-05-8}, }