"A Class of Automata for the Verification of Infinite, Resource-Allocating ..."

Vincenzo Ciancia, Matteo Sammartino (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics