First Page | Document Content | |
---|---|---|
Date: 2015-09-21 11:27:16Finite automata Model checking -automaton Generalized Bchi automaton Bchi automaton Buchi Muller automaton Automata theory | The Hanoi Omega-Automata Format This document describes the Hanoi Omega-Automata (HOA) format. The name is a reference to the ATVA’13 conference, which was organized in Hanoi, and where the foundations of this format wAdd to Reading ListSource URL: adl.github.ioDownload Document from Source WebsiteFile Size: 121,10 KBShare Document on Facebook |