Slides: Automata, LTL, Safety and Liveness property
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 6-auotomata and temporal logic.pdf