Fingerprint
Dive into the research topics of 'Tableau-based automata construction for dynamic linear time temporal logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Tableau-based automata construction for dynamic linear time temporal logic
Laura Giordano, Alberto Martelli
Research output: Contribution to journal › Review article › peer-review