Showing 1 - 1 results of 1 for search 'Ammar Boucherit', query time: 0.02s Refine Results
  1. 1
    PN2Maude: An automatic tool to generate Maude specification for Petri net models

    PN2Maude: An automatic tool to generate Maude specification for Petri net models by Ammar Boucherit, Messaoud Abbas, Mohammed Lamine Lamouri, Osman Hasan

    Published 2023-07-01
    Get full text
    Article

Search Tools: