%0 Conference Paper %1 conf/modelsward/RahimAM13 %A Rahim, Messaoud %A Ahmed, Hammad %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 = {2016-08-15T00:00:00.000+0200}, author = {Rahim, Messaoud and Ahmed, Hammad and Ioualalen, Malika}, biburl = {https://www.bibsonomy.org/bibtex/270e58c07c6b89a48538e789c997c5b3a/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 = {f0c00a4301d185391a46e2a73e640175}, intrahash = {70e58c07c6b89a48538e789c997c5b3a}, isbn = {978-989-8565-42-6}, keywords = {dblp}, pages = {202-205}, publisher = {SciTePress}, timestamp = {2016-08-17T11:40:34.000+0200}, title = {Modular and Distributed Verification of SysML Activity Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2013.html#RahimAM13}, year = 2013 }