Modeling, refining and analyzing Incomplete Büchi Automata

Claudio Menghi, Paola Spoletini, Carlo Ghezzi
January 2016
Type
Journal article
Publication
arXiv preprint arXiv:1609.00610