Weak Cost Automata over Infinite Trees

Библиографические подробности
Главный автор: Boom, M
Формат: Диссертация
Опубликовано: 2012