Ph.: Well-structured transition systems everywhere (2001)

by A Finkel, Schnoebelen
Venue:Theoretical Computer Science