Login / Signup
Ivan Jeukens
Publication Activity (10 Years)
Years Active: 2000-2003
Publications (10 Years): 0
</>
Publications
</>
Ivan Jeukens
,
Marius Strum
Exploring Models of Computation through Static Analysis.
FDL
(2003)
Ivan Jeukens
,
Marius Strum
On the Choice of Models of Computation for Writing Executable Specifications of System Level Designs.
SBCCI
(2000)