Branch-Well-Structured Transition Systems and Extensions.

Benedikt Bollig, Alain Finkel, Amrita Suresh

Browse the full FORTE paper archive.