Specifiying the Remote Controlling of Valves in an Explosion Test Environment

TitleSpecifiying the Remote Controlling of Valves in an Explosion Test Environment
Publication TypeConference Proceedings
Year of Conference1997
AuthorsSchönhoff, M., and M. Kowsari
Conference NameFormal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997
Pagination201-220
PublisherSpringer, Berlin, LNCS 1313
Abstract

no

Publicno