Back to Results
First PageMeta Content
Finite 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 w
Add to Reading List

Document Date: 2015-09-21 11:27:16


Open Document

File Size: 121,10 KB

Share Result on Facebook
UPDATE