%0 Conference Paper %1 conf/ecai/Belardinelli14 %A Belardinelli, Francesco %B ECAI %D 2014 %E Schaub, Torsten %E Friedrich, Gerhard %E O'Sullivan, Barry %I IOS Press %K dblp %P 81-86 %T Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#Belardinelli14 %V 263 %@ 978-1-61499-419-0

@inproceedings{conf/ecai/Belardinelli14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Belardinelli, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2f84523915b97e6f77119f52e4b84a551/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2014}, editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry}, ee = {https://doi.org/10.3233/978-1-61499-419-0-81}, interhash = {3b6594c11e46816e7a68e4859a75c865}, intrahash = {f84523915b97e6f77119f52e4b84a551}, isbn = {978-1-61499-419-0}, keywords = {dblp}, pages = {81-86}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:45:52.000+0200}, title = {Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2014.html#Belardinelli14}, volume = 263, year = 2014 }