%0 Journal Article %1 journals/iee/RahimKBA15 %A Rahim, Messaoud %A Kheldoun, Ahmed %A Boukala-Ioualalen, Malika %A Hammad, Ahmed %D 2015 %J IET Softw. %K dblp %N 5 %P 119-128 %T Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. %U http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen9.html#RahimKBA15 %V 9

@article{journals/iee/RahimKBA15, added-at = {2022-03-09T00:00:00.000+0100}, author = {Rahim, Messaoud and Kheldoun, Ahmed and Boukala-Ioualalen, Malika and Hammad, Ahmed}, biburl = {https://www.bibsonomy.org/bibtex/29851e15f38e663ae3a6c8af2fb5e442d/dblp}, ee = {https://doi.org/10.1049/iet-sen.2014.0087}, interhash = {cfbec761771c0d0cd631cebe67a9967f}, intrahash = {9851e15f38e663ae3a6c8af2fb5e442d}, journal = {IET Softw.}, keywords = {dblp}, number = 5, pages = {119-128}, timestamp = {2024-04-08T11:01:11.000+0200}, title = {Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.}, url = {http://dblp.uni-trier.de/db/journals/iet-sen/iet-sen9.html#RahimKBA15}, volume = 9, year = 2015 }