Export 1 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: Author is Schönhoff, M.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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