Title | Specifiying the Remote Controlling of Valves in an Explosion Test Environment |
Publication Type | Conference Proceedings |
Year of Conference | 1997 |
Authors | Schönhoff, M., and M. Kowsari |
Conference Name | Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997 |
Pagination | 201-220 |
Publisher | Springer, Berlin, LNCS 1313 |
Abstract | no |
Public | no |