%0 Conference Paper %1 conf/apsec/ZhangYKK22 %A Zhang, Xiaozhen %A Yang, Zhaoming %A Kong, Hui %A Kong, Weiqiang %B APSEC %D 2022 %I IEEE %K dblp %P 407-416 %T Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2022.html#ZhangYKK22 %@ 978-1-6654-5537-4

@inproceedings{conf/apsec/ZhangYKK22, added-at = {2023-10-06T00:00:00.000+0200}, author = {Zhang, Xiaozhen and Yang, Zhaoming and Kong, Hui and Kong, Weiqiang}, biburl = {https://www.bibsonomy.org/bibtex/2642da09d7f62b92dc8619fe32beb3d09/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2022}, ee = {https://doi.org/10.1109/APSEC57359.2022.00053}, interhash = {c72cb60031b54a4cca3472d303cb8cb1}, intrahash = {642da09d7f62b92dc8619fe32beb3d09}, isbn = {978-1-6654-5537-4}, keywords = {dblp}, pages = {407-416}, publisher = {IEEE}, timestamp = {2024-04-09T13:15:10.000+0200}, title = {Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2022.html#ZhangYKK22}, year = 2022 }