%0 Conference Paper %1 conf/cav/ChenSZLM23 %A Chen, Hanyue %A Su, Yu %A Zhang, Miaomiao %A Liu, Zhiming %A Mi, Junri %B CAV (1) %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K dblp %P 40-61 %T Learning Assumptions for Compositional Verification of Timed Automata. %U http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#ChenSZLM23 %V 13964 %@ 978-3-031-37706-8

@inproceedings{conf/cav/ChenSZLM23, added-at = {2024-04-02T00:00:00.000+0200}, author = {Chen, Hanyue and Su, Yu and Zhang, Miaomiao and Liu, Zhiming and Mi, Junri}, biburl = {https://www.bibsonomy.org/bibtex/23f9cf43d73cab33881013d9776af1d49/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2023-1}, editor = {Enea, Constantin and Lal, Akash}, ee = {https://doi.org/10.1007/978-3-031-37706-8_3}, interhash = {71e98524a990a5c75a686a0e46aa9876}, intrahash = {3f9cf43d73cab33881013d9776af1d49}, isbn = {978-3-031-37706-8}, keywords = {dblp}, pages = {40-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {Learning Assumptions for Compositional Verification of Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#ChenSZLM23}, volume = 13964, year = 2023 }