%0 Conference Paper %1 conf/ACISicis/XuMP09 %A Xu, Dong %A Miao, Huaikou %A Philbert, Nduwimfura %B ACIS-ICIS %D 2009 %E Miao, Huaikou %E Hu, Gongzhu %I IEEE Computer Society %K dblp %P 1035-1040 %T Model Checking UML Activity Diagrams in FDR. %U http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2009.html#XuMP09 %@ 978-0-7695-3641-5

@inproceedings{conf/ACISicis/XuMP09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Xu, Dong and Miao, Huaikou and Philbert, Nduwimfura}, biburl = {https://www.bibsonomy.org/bibtex/2759b3214c7a5c7984d7114296ce52a76/dblp}, booktitle = {ACIS-ICIS}, crossref = {conf/ACISicis/2009}, editor = {Miao, Huaikou and Hu, Gongzhu}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICIS.2009.107}, interhash = {40041c0da7061c6e11ef144a871a9ed2}, intrahash = {759b3214c7a5c7984d7114296ce52a76}, isbn = {978-0-7695-3641-5}, keywords = {dblp}, pages = {1035-1040}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:38:38.000+0200}, title = {Model Checking UML Activity Diagrams in FDR.}, url = {http://dblp.uni-trier.de/db/conf/ACISicis/ACISicis2009.html#XuMP09}, year = 2009 }