.gif)
] Filters: Author is Einer, S. [Clear All Filters]
"Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems",
Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001.
Abstract