Hypernode automata
- Ezio Bartocci
- , Marek Chalupa
- , Thomas A. Henzinger
- , Dejan Nickovic
- , Ana Oliveira da Costa
- TU Wien
- Institute of Science and Technology Austria
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung