Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.

Farn Wang

Browse the full FORTE paper archive.