Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.

FARN WANG2020-06-042020-06-041996https://scholars.lib.ntu.edu.tw/handle/123456789/497162Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.conference paper10.1109/RTCSA.1996.554967https://doi.org/10.1109/RTCSA.1996.554967