Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
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