Stratified Guarded First-Order Transition Systems.

Christan Mller, Helmut Seidl

Browse the full SAS paper archive.