%0 Conference Paper %1 conf/qrs/ZhangYKK22 %A Zhang, Xiaozhen %A Yang, Zhaoming %A Kong, Hui %A Kong, Weiqiang %B QRS %D 2022 %I IEEE %K dblp %P 410-421 %T Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2022.html#ZhangYKK22 %@ 978-1-6654-7704-8

@inproceedings{conf/qrs/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/2556e09032a23895fd36e5219c9de9027/dblp}, booktitle = {QRS}, crossref = {conf/qrs/2022}, ee = {https://doi.org/10.1109/QRS57517.2022.00049}, interhash = {114c1e1354bbb34bc98f42b48647934c}, intrahash = {556e09032a23895fd36e5219c9de9027}, isbn = {978-1-6654-7704-8}, keywords = {dblp}, pages = {410-421}, publisher = {IEEE}, timestamp = {2024-04-09T13:28:07.000+0200}, title = {Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2022.html#ZhangYKK22}, year = 2022 }