bibtex

@inproceedings{RAHIM2013

author = RAHIM, Messaoud; HAMMAD, A; IOUALALEN, Malika;
title = Modular and distributed verification of SysML activity diagram;
booktitle = Modelsward ,
address = Barcelone, Espagne ,
month = Février,
year = 2013, }