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

Küssel, Uwe; Padberg, Julia; Abel, Dirk

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

Identifikationsnummern