Elmin Ibrahimov

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Transition Systems

Automated Verification

Top Venues

Publications

Elmin Ibrahimov, Jixing Wang, Zhi Quan Zhou
Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder. QSIC (2013)