Symbolic model checking for discrete real-time systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen. Symbolic model checking for discrete real-time systems. Science in China Series F: Information Sciences, 61(5), 2018. [doi]

This author has not been identified. Look up 'Xiangyu Luo' in GoogleThis author has not been identified. Look up 'Lijun Wu' in GoogleThis author has not been identified. Look up 'Qingliang Chen' in GoogleThis author has not been identified. Look up 'Haibo Li' in GoogleThis author has not been identified. Look up 'Lixiao Zheng' in GoogleThis author has not been identified. Look up 'Zuxi Chen' in Google

runs on WebDSL