Symbolic Model Checking for Event-Driven Real-Time Systems.

Yang, JinJinYangMok, Aloysius K.Aloysius K.MokWang, FarnFarnWangFARN WANG2020-06-042020-06-041993https://scholars.lib.ntu.edu.tw/handle/123456789/497161Symbolic Model Checking for Event-Driven Real-Time Systems.conference paper10.1109/REAL.1993.393518https://doi.org/10.1109/REAL.1993.393518