.gif)
] Filters: Author is Schönhoff, M. [Clear All Filters]
"Specifiying the Remote Controlling of Valves in an Explosion Test Environment",
Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997.
Abstract