C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
LTL translation improvements in Spot 1.0.
Alexandre Duret-Lutz
Published in:
Int. J. Crit. Comput. Based Syst. (2014)
Keyphrases
</>
model checking
machine translation
cross language information retrieval
temporal logic
deterministic automata
query translation
linear temporal logic
bounded model checking
data sets
databases
real world
linear time temporal logic