Issa Traoré. An Outline of PVS Semantics for UML Statecharts. J. UCS, 6(11):1088-1108, 2000. [doi]
@article{Traore00, title = {An Outline of PVS Semantics for UML Statecharts}, author = {Issa Traoré}, year = {2000}, url = {http://www.jucs.org/jucs_6_11/an_outline_of_pvs}, tags = {semantics, UML}, researchr = {https://researchr.org/publication/Traore00}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {6}, number = {11}, pages = {1088-1108}, }