Weak Cost Automata over Infinite Trees

Detalhes bibliográficos
Autor principal: Boom, M
Formato: Thesis
Publicado em: 2012