TY  - RPRT
TI  - Modeling, refining and analyzing Incomplete Büchi Automata
AU  - Claudio Menghi
AU  - Paola Spoletini
AU  - Carlo Ghezzi
PY  - 2016
UR  - https://arxiv.org/abs/1609.00610
ID  - 1609.00610
ER  -