Merkliste 
 1 Ergebnisse 
 
1

Formal Modelling, Analysis, and Synthesis of Modular Indust..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,