@inproceedings{DBLP:conf/kbse/YangJGS16,
author = {Yixiao Yang and
Yu Jiang and
Ming Gu and
Jia{-}Guang Sun},
title = {Verifying simulink stateflow model: timed automata approach},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {852--857},
year = {2016},
crossref = {DBLP:conf/kbse/2016},
url = {https://doi.org/10.1145/2970276.2970293},
doi = {10.1145/2970276.2970293},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/bib/conf/kbse/YangJGS16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2016,
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276},
doi = {10.1145/2970276},
isbn = {978-1-4503-3845-5},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/bib/conf/kbse/2016},
bibsource = {dblp computer science bibliography, https://dblp.org}
}