A State Graph Manipulator Tool for Real-Time System Specification and Verification.

Pao-Ann Hsiung, Farn Wang

Browse the full RTCSA paper archive.