Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche. On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL. In Chengcui Zhang, Balaji Palanisamy, Latifur Khan, Sahra Sedigh Sarvestani, editors, 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017. pages 419-426, IEEE Computer Society, 2017. [doi]
@inproceedings{MeghziliCSK17, title = {On the Verification of UML State Machine Diagrams to Colored Petri Nets Transformation Using Isabelle/HOL}, author = {Said Meghzili and Allaoua Chaoui and Martin Strecker and Elhillali Kerkouche}, year = {2017}, doi = {10.1109/IRI.2017.63}, url = {https://doi.org/10.1109/IRI.2017.63}, researchr = {https://researchr.org/publication/MeghziliCSK17}, cites = {0}, citedby = {0}, pages = {419-426}, booktitle = {2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017}, editor = {Chengcui Zhang and Balaji Palanisamy and Latifur Khan and Sahra Sedigh Sarvestani}, publisher = {IEEE Computer Society}, isbn = {978-1-5386-1562-1}, }