Well-structured transition systems everywhere (2001)

by A Finkel, P Schnoebelen
Venue:Theoretical Computer Science