Login / Signup
Claus R. Thrane
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Transition Systems
Formal Specification
Model Checker
Modal Logic
Top Venues
CoRR
CSR
QFM
Formal Methods Syst. Des.
</>
Publications
</>