Fundamental Structures in Well-Structured Infinite Transition Systems.

Alain Finkel, Philippe Schnoebelen

Browse the full LATIN paper archive.