Export 1 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: Author is Einer, S.  [Clear All Filters]
Einer, S., and A. Grau, "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