Putting Detectors in Their Place

Arshad Jhumka, Martin Hiller. Putting Detectors in Their Place. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 33-43, IEEE Computer Society, 2005. [doi]

Authors

Arshad Jhumka

This author has not been identified. Look up 'Arshad Jhumka' in Google

Martin Hiller

This author has not been identified. Look up 'Martin Hiller' in Google