Weak Cost Automata over Infinite Trees

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