.gif)
Specifiying the Remote Controlling of Valves in an Explosion Test Environment
| 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 |