Symbolic model checking for discrete real-time systems
Crossref DOI link: https://doi.org/10.1007/s11432-017-9152-x
Published Online: 2017-12-26
Published Print: 2018-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Luo, Xiangyu
Wu, Lijun
Chen, Qingliang
Li, Haibo
Zheng, Lixiao
Chen, Zuxi
License valid from 2017-12-26