Weak Cost Automata over Infinite Trees

Podrobná bibliografie
Hlavní autor: Boom, M
Médium: Diplomová práce
Vydáno: 2012