Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/aiia/000122
%A Stasio, Antonio Di
%B IPS/RiCeRcA/SPIRIT@AI*IA
%D 2022
%E Benedictis, Riccardo De
%E Gatti, Nicola
%E Maratea, Marco
%E Micheli, Andrea
%E Murano, Aniello
%E Scala, Enrico
%E Serafini, Luciano
%E Serina, Ivan
%E Umbrico, Alessandro
%E Vallati, Mauro
%I CEUR-WS.org
%K dblp
%T Explicit and Symbolic Approaches for Parity Games (Short Paper).
%U http://dblp.uni-trier.de/db/conf/aiia/ips2022.html#000122
%V 3345
@inproceedings{conf/aiia/000122,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Stasio, Antonio Di},
biburl = {https://www.bibsonomy.org/bibtex/26c1a98d9f738d09f364bf4e49de0b5d1/dblp},
booktitle = {IPS/RiCeRcA/SPIRIT@AI*IA},
crossref = {conf/aiia/2022ips},
editor = {Benedictis, Riccardo De and Gatti, Nicola and Maratea, Marco and Micheli, Andrea and Murano, Aniello and Scala, Enrico and Serafini, Luciano and Serina, Ivan and Umbrico, Alessandro and Vallati, Mauro},
ee = {https://ceur-ws.org/Vol-3345/paper15_Spirit4.pdf},
interhash = {a4b4d2eecf837f572404f3e6dc602c55},
intrahash = {6c1a98d9f738d09f364bf4e49de0b5d1},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-10T01:17:21.000+0200},
title = {Explicit and Symbolic Approaches for Parity Games (Short Paper).},
url = {http://dblp.uni-trier.de/db/conf/aiia/ips2022.html#000122},
volume = 3345,
year = 2022
}