Robert Könighofer

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 12

Top Topics

Formal Specification

Reactive Systems

Quantified Boolean Formulas

Top Venues

Haifa Verification Conference

Publications