Login / Signup
Diego Funes
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Transition Systems
Automated Verification
Model Checking
Computation Tree Logic
Top Venues
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Diego Funes
,
Junaid Haroon Siddiqui
,
Sarfraz Khurshid
Ranged Model Checking.
ACM SIGSOFT Softw. Eng. Notes
37 (6) (2012)