Merkliste 
 1 Ergebnisse 
 
1

Formal model-driven executable DSLs: Application to Petri-n..:

Idani, Akram
Innovations in Systems and Software Engineering.  18 (2021)  4 - p. 543-566 , 2021