Biblio

Export 1 results:
Sort by: Author Keyword Title [ Type  (Asc)] Year
Filters: Author is Schönhoff, M.  [Clear All Filters]
Conference Proceedings
Schönhoff, M., and M. Kowsari, "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