First Page | Document Content | |
---|---|---|
Date: 2015-10-21 13:25:41Finite 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 PhilosophyAdd to Reading ListSource URL: cgi.csc.liv.ac.ukDownload Document from Source WebsiteFile Size: 717,85 KBShare Document on Facebook |