Login / Signup
Ellie Shuff
Publication Activity (10 Years)
Years Active: 2005-2005
Publications (10 Years): 0
</>
Publications
</>
Pallavi Shurpali
,
Ravi Shankar
,
Ellie Shuff
On Ensuring Safety and Liveness Properties of Concurrent Models in SystemC.
MSE
(2005)