Login / Signup
Axel Zechner
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Formal Verification
Linear Temporal Logic
Bug Localization
Model Checking
Top Venues
PEPM
TAP@TOOLS
MBEES
SPIN
</>
Publications
</>