Predicate Diagrams for the Verification of Reactive Systems.

Dominique Cansell, Dominique Mry, Stephan Merz

Browse the full IFM paper archive.