Weak Cost Automata over Infinite Trees

Xehetasun bibliografikoak
Egile nagusia: Boom, M
Formatua: Thesis
Argitaratua: 2012