%0 Conference Paper %1 conf/kbse/YangJGS16 %A Yang, Yixiao %A Jiang, Yu %A Gu, Ming %A Sun, Jia-Guang %B ASE %D 2016 %E Lo, David %E Apel, Sven %E Khurshid, Sarfraz %I ACM %K dblp %P 852-857 %T Verifying simulink stateflow model: timed automata approach. %U http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#YangJGS16 %@ 978-1-4503-3845-5

@inproceedings{conf/kbse/YangJGS16, added-at = {2021-08-11T00:00:00.000+0200}, author = {Yang, Yixiao and Jiang, Yu and Gu, Ming and Sun, Jia-Guang}, biburl = {https://www.bibsonomy.org/bibtex/231ae89344fe31a6b02f3ca96c32519cc/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2016}, editor = {Lo, David and Apel, Sven and Khurshid, Sarfraz}, ee = {https://ieeexplore.ieee.org/document/7582827/}, interhash = {3997e3580c8ee07ac1c63ce86661a815}, intrahash = {31ae89344fe31a6b02f3ca96c32519cc}, isbn = {978-1-4503-3845-5}, keywords = {dblp}, pages = {852-857}, publisher = {ACM}, timestamp = {2024-04-09T23:52:27.000+0200}, title = {Verifying simulink stateflow model: timed automata approach.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#YangJGS16}, year = 2016 }