Weak Cost Automata over Infinite Trees

Détails bibliographiques
Auteur principal: Boom, M
Format: Thèse
Publié: 2012