Lista publicaţiilor: University El Oued (1), Descărcări - 19, Vizualizări - 353
Articole în reviste cat. A
PN2Maude: An automatic tool to generate Maude specification for Petri net models |
Boucherit Ammar, Abbas Messaoud, Lamouri Mohammed Lamine, Hasan Osman |
Computer Science Journal of Moldova |
Nr. 2(92) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330 |
Disponibil online 9 August, 2023. Descarcări-19. Vizualizări-353 |