Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.

Farn Wang

Browse the full COMPSAC paper archive.