%0 Conference Paper %1 conf/modelsward/RahimAM13 %A Rahim, Messaoud %A Hammad, Ahmed %A Ioualalen, Malika %B MODELSWARD %D 2013 %E Hammoudi, Slimane %E Pires, Luís Ferreira %E Filipe, Joaquim %E das Neves, Rui César %I SciTePress %K dblp %P 202-205 %T Modular and Distributed Verification of SysML Activity Diagrams. %U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2013.html#RahimAM13 %@ 978-989-8565-42-6

@inproceedings{conf/modelsward/RahimAM13, added-at = {2017-02-06T00:00:00.000+0100}, author = {Rahim, Messaoud and Hammad, Ahmed and Ioualalen, Malika}, biburl = {https://www.bibsonomy.org/bibtex/28a01daea936ce303218182eb6225f868/dblp}, booktitle = {MODELSWARD}, crossref = {conf/modelsward/2013}, editor = {Hammoudi, Slimane and Pires, Luís Ferreira and Filipe, Joaquim and das Neves, Rui César}, ee = {http://dx.doi.org/10.5220/0004320602020205}, interhash = {977c8b5816016eb0ace4b33f8ad065c9}, intrahash = {8a01daea936ce303218182eb6225f868}, isbn = {978-989-8565-42-6}, keywords = {dblp}, pages = {202-205}, publisher = {SciTePress}, timestamp = {2017-02-07T11:36:13.000+0100}, title = {Modular and Distributed Verification of SysML Activity Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2013.html#RahimAM13}, year = 2013 }