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

First Page		Document Content
Date: 2015-10-21 13:25:41 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 Source URL: cgi.csc.liv.ac.uk Download Document from Source Website File Size: 717,85 KB Share Document on Facebook