Well-structured transition systems everywhere! (2001)

by A Finkel, P Schnoebelen
Venue:Theoretical Computer Science