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

FARN WANG2020-06-042020-06-042000https://scholars.lib.ntu.edu.tw/handle/123456789/497151Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.conference paper10.1109/CMPSAC.2000.884774https://doi.org/10.1109/CMPSAC.2000.884774