Login / Signup
Eric Noonan
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Petri Net
Model Checking
Partial Order Reduction
Real Time
Top Venues
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Eric Noonan
,
Eric Mercer
,
Neha Rungta
Vector-clock based partial order reduction for JPF.
ACM SIGSOFT Softw. Eng. Notes
39 (1) (2014)