Login / Signup
Saifulza Alwi
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Temporal Logic
Model Checking
Transition Systems
Top Venues
ICARCV
</>
Publications
</>
Saifulza Alwi
,
Yasutaka Fujimoto
Safety property comparison between Gröbner bases and BDD-based model checking method.
ICARCV
(2014)