Login / Signup
A. Sintoski
Publication Activity (10 Years)
Years Active: 2001-2001
Publications (10 Years): 0
</>
Publications
</>
A. Sintoski
,
Dieter K. Hammer
,
Onno S. van Roosmalen
,
Jozef Hooman
Formal Platform-Independent Design of Real-Time Systems.
ECRTS
(2001)