Login / Signup
Thomas Badie
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Deterministic Automata
Linear Time Temporal Logic
Machine Translation System
Bounded Model Checking
Top Venues
SPIN
</>
Publications
</>
Tomás Babiak
,
Thomas Badie
,
Alexandre Duret-Lutz
,
Mojmír Kretínský
,
Jan Strejcek
Compositional Approach to Suspension and Other Improvements to LTL Translation.
SPIN
(2013)