Login / Signup
Hansruedi Müller
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
Hugo Fierz
,
Hansruedi Müller
,
Spiros Netos
CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems.
SAFECOMP
(1993)