Login / Signup
Gary De Palma
Publication Activity (10 Years)
Years Active: 1997-1997
Publications (10 Years): 0
</>
Publications
</>
Carlos M. Roman
,
Gary De Palma
,
Robert P. Kurshan
Model checking without hardware drivers.
CHARME
(1997)