Decidability of model-checking for infinite-state concurrent systems (1997)

by J Ezparza
Venue:Acta Informatica