Dong Xu, Huaikou Miao, Nduwimfura Philbert. Model Checking UML Activity Diagrams in FDR. In Huaikou Miao, Gongzhu Hu, editors, 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China. pages 1035-1040, IEEE Computer Society, 2009. [doi]
@inproceedings{XuMP09, title = {Model Checking UML Activity Diagrams in FDR}, author = {Dong Xu and Huaikou Miao and Nduwimfura Philbert}, year = {2009}, doi = {10.1109/ICIS.2009.107}, url = {http://dx.doi.org/10.1109/ICIS.2009.107}, tags = {model checking, meta-model, UML, Meta-Environment}, researchr = {https://researchr.org/publication/XuMP09}, cites = {0}, citedby = {0}, pages = {1035-1040}, booktitle = {8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China}, editor = {Huaikou Miao and Gongzhu Hu}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3641-5}, }