Back to Results
First PageMeta Content
Finite automata / Model checking / -automaton / Bchi automaton / Deterministic automaton / Muller automaton / Weak Bchi automaton


Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy
Add to Reading List

Document Date: 2015-10-21 13:25:41


Open Document

File Size: 717,85 KB

Share Result on Facebook