Login / Signup
Ole Høgh Jensen
Publication Activity (10 Years)
Years Active: 1993-2003
Publications (10 Years): 0
</>
Publications
</>
Ole Høgh Jensen
,
Robin Milner
Bigraphs and transitions.
POPL
(2003)
Ole Høgh Jensen
,
Jarl Tuxen Lang
,
Christian Jeppesen
,
Kim Guldstrand Larsen
Model Construction for Implicit Specifications in Model Logic.
CONCUR
(1993)