C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient Regular Linear Temporal Logic Using Dualization and Stratification.
César Sánchez
Julián Samborski-Forlese
Published in:
TIME (2012)
Keyphrases
</>
linear temporal logic
temporal logic