%0 Conference Paper %1 conf/stairs/KazmierczakPA12 %A Kazmierczak, Piotr %A Pedersen, Truls %A Ågotnes, Thomas %B STAIRS %D 2012 %E Kersting, Kristian %E Toussaint, Marc %I IOS Press %K dblp %P 168-179 %T NORMC: a Norm Compliance Temporal Logic Model Checker. %U http://dblp.uni-trier.de/db/conf/stairs/stairs2012.html#KazmierczakPA12 %V 241 %@ 978-1-61499-095-6

@inproceedings{conf/stairs/KazmierczakPA12, added-at = {2021-02-01T00:00:00.000+0100}, author = {Kazmierczak, Piotr and Pedersen, Truls and Ågotnes, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2e7a2154e6c8099cd8179302ab586741d/dblp}, booktitle = {STAIRS}, crossref = {conf/stairs/2012}, editor = {Kersting, Kristian and Toussaint, Marc}, ee = {https://doi.org/10.3233/978-1-61499-096-3-168}, interhash = {4af8c29c8cfe3e934b8f1f2a51017196}, intrahash = {e7a2154e6c8099cd8179302ab586741d}, isbn = {978-1-61499-095-6}, keywords = {dblp}, pages = {168-179}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-10T08:41:01.000+0200}, title = {NORMC: a Norm Compliance Temporal Logic Model Checker.}, url = {http://dblp.uni-trier.de/db/conf/stairs/stairs2012.html#KazmierczakPA12}, volume = 241, year = 2012 }