Login / Signup
Tableau-based automata construction for dynamic linear time temporal logic*.
Laura Giordano
Alberto Martelli
Published in:
Ann. Math. Artif. Intell. (2006)
Keyphrases
</>
linear time temporal logic
description logics
cellular automata
high level
general purpose