Further processing options
Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes
Journal Title: | IFAC Proceedings Volumes |
---|---|
Authors and Corporations: | , , |
In: | IFAC Proceedings Volumes, 30, 1997, 8, p. 169-174 |
Type of Resource: | E-Article |
Language: | English |
published: |
Elsevier BV
|
Subjects: |