![Finite automata / Model checking / -automaton / Generalized Bchi automaton / Bchi automaton / Buchi / Muller automaton / Automata theory Finite automata / Model checking / -automaton / Generalized Bchi automaton / Bchi automaton / Buchi / Muller automaton / Automata theory](https://www.pdfsearch.io/img/bb9c13c57f64bf4e1c29c9d7d0748954.jpg) 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 Website File Size: 121,10 KBShare Document on Facebook
|