Hierarchical modelling and verification based on Petri net components with multiple import interfaces

Seoul / IFAC (2008) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the 17th IFAC World Congress : 2008, Seoul, South Korea, July 6 -11, 2008 / General Chair: Hyung Suck Cho
Seite(n): 3606-3611

Autorinnen und Autoren

Autorinnen und Autoren

Küssel, Uwe
Padberg, Julia
Abel, Dirk

Identifikationsnummern