%0 Conference Paper %1 conf/vecos/KanskiNKPN21 %A Kanski, Michal %A Niewiadomski, Artur %A Kacprzak, Magdalena %A Penczek, Wojciech %A Nabialek, Wojciech %B VECoS %D 2021 %E Nouri, Ayoub %E Wu, Weimin %E Barkaoui, Kamel %E Li, ZhiWu %I Springer %K dblp %P 43-58 %T SMT-Based Unbounded Model Checking for ATL. %U http://dblp.uni-trier.de/db/conf/vecos/vecos2021.html#KanskiNKPN21 %V 13187 %@ 978-3-030-98850-0

@inproceedings{conf/vecos/KanskiNKPN21, added-at = {2022-04-01T00:00:00.000+0200}, author = {Kanski, Michal and Niewiadomski, Artur and Kacprzak, Magdalena and Penczek, Wojciech and Nabialek, Wojciech}, biburl = {https://www.bibsonomy.org/bibtex/2679945c3a724286be08426232334db80/dblp}, booktitle = {VECoS}, crossref = {conf/vecos/2021}, editor = {Nouri, Ayoub and Wu, Weimin and Barkaoui, Kamel and Li, ZhiWu}, ee = {https://doi.org/10.1007/978-3-030-98850-0_4}, interhash = {16e90d362f0f1e814d0e56c51cdf9ad1}, intrahash = {679945c3a724286be08426232334db80}, isbn = {978-3-030-98850-0}, keywords = {dblp}, pages = {43-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:25.000+0200}, title = {SMT-Based Unbounded Model Checking for ATL.}, url = {http://dblp.uni-trier.de/db/conf/vecos/vecos2021.html#KanskiNKPN21}, volume = 13187, year = 2021 }