Login / Signup
Albert Jovell
Publication Activity (10 Years)
Years Active: 2004-2004
Publications (10 Years): 0
</>
Publications
</>
Michael Balser
,
Óscar Coltell
,
Joyce van Croonenborg
,
Christoph Duelli
,
Frank van Harmelen
,
Albert Jovell
,
Peter J. F. Lucas
,
Mar Marcos
,
Silvia Miksch
,
Wolfgang Reif
,
Kitty Rosenbrand
,
Andreas Seyfang
,
Annette ten Teije
Protocure: Supporting the Development of Medical Protocols through Formal Methods.
CGP
(2004)