%0 Journal Article %1 journals/flap/AlechinaLD18 %A Alechina, Natasha %A Logan, Brian %A Dastani, Mehdi %D 2018 %J FLAP %K dblp %N 2 %P 457-490 %T Modeling Norm Specification and Verification in Multiagent Systems. %U http://dblp.uni-trier.de/db/journals/flap/flap5.html#AlechinaLD18 %V 5

@article{journals/flap/AlechinaLD18, added-at = {2021-12-08T00:00:00.000+0100}, author = {Alechina, Natasha and Logan, Brian and Dastani, Mehdi}, biburl = {https://www.bibsonomy.org/bibtex/29c22608555043c44e3765756b29382fa/dblp}, ee = {https://www.collegepublications.co.uk/downloads/ifcolog00022.pdf}, interhash = {995c45e14d61fc6da3f87a0a4ec3f61e}, intrahash = {9c22608555043c44e3765756b29382fa}, journal = {FLAP}, keywords = {dblp}, number = 2, pages = {457-490}, timestamp = {2024-04-08T14:46:37.000+0200}, title = {Modeling Norm Specification and Verification in Multiagent Systems.}, url = {http://dblp.uni-trier.de/db/journals/flap/flap5.html#AlechinaLD18}, volume = 5, year = 2018 }