Temporal Verification by Diagram Transformations.

Luca de Alfaro, Zohar Manna

Browse the full CAV paper archive.