%0 Conference Paper %1 conf/ijcai/LeemansMM23 %A Leemans, Sander J. J. %A Maggi, Fabrizio Maria %A Montali, Marco %B IJCAI %D 2023 %I ijcai.org %K dblp %P 6452-6457 %T Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#LeemansMM23 %@ 978-1-956792-03-4

@inproceedings{conf/ijcai/LeemansMM23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Leemans, Sander J. J. and Maggi, Fabrizio Maria and Montali, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2537dab7cd93c3b449baad7a65e3d66e4/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2023}, ee = {https://doi.org/10.24963/ijcai.2023/719}, interhash = {21e8dc5f3fa0e139d353aa30d666af39}, intrahash = {537dab7cd93c3b449baad7a65e3d66e4}, isbn = {978-1-956792-03-4}, keywords = {dblp}, pages = {6452-6457}, publisher = {ijcai.org}, timestamp = {2024-10-21T07:11:48.000+0200}, title = {Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#LeemansMM23}, year = 2023 }