Branching in Well-Structured Transition Systems (Invited Talk).

Sylvain Schmitz

Browse the full CSL paper archive.