Weak Cost Automata over Infinite Trees

Dades bibliogràfiques
Autor principal: Boom, M
Format: Thesis
Publicat: 2012