Login / Signup
Line Juhl
Publication Activity (10 Years)
Years Active: 2011-2014
Publications (10 Years): 0
Top Topics
Transition Systems
Temporal Logic
Model Checking
Practical Reasoning
Top Venues
Theories of Programming and Formal Methods
J. Log. Algebraic Methods Program.
Math. Struct. Comput. Sci.
CoRR
</>
Publications
</>