Inproceedings,
SMT-Based Unbounded Model Checking for ATL.
M. Kanski, A. Niewiadomski, M. Kacprzak, W. Penczek, and W. Nabialek.VECoS, volume 13187 of Lecture Notes in Computer Science, page 43-58. Springer, (2021)
Meta data
- BibTeX key
- conf/vecos/KanskiNKPN21
- entry type
- inproceedings
- booktitle
- VECoS
- year
- 2021
- pages
- 43-58
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 13187
- crossref
- conf/vecos/2021
- ee
- https://doi.org/10.1007/978-3-030-98850-0_4
- isbn
- 978-3-030-98850-0
- url
- http://dblp.uni-trier.de/db/conf/vecos/vecos2021.html#KanskiNKPN21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}