University of El OuedResearch Portal

Research output

Active filter:Journal: Computer Science Journal of MoldovaClear filters

1 results RSS CSV XLSX BibTeX

Sort:Relevance Newest Oldest Title Most cited

PN2Maude: An automatic tool to generate Maude specification for Petri net models

Ammar Boucherit, Messaoud Abbas, Lamouri Mohamed Lamine, Osman Hasan

Computer Science Journal of MoldovaVolume 31، (2 (92))، Pages 272-2962023Article Open access