bibtex

@article{RAHIM2015

author = RAHIM, Messaoud; KHELDOUN, Ahmed; IOUALALEN, Malika; HAMMAD, Ahmed;
title = Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams;
journal = IET, Software ;
booktitle = 0 ,
volume = 9 ,
number = 5 ,
publisher = 0 ,
language = 0 ,
institution = 0 ,
address = 0, 0 ,
month = Janvier,
year = 2015, }