%0 Conference Paper %1 conf/kes/MissaouiMHB19 %A Missaoui, Ezzine %A Mazigh, Belhassen %A Hilaire, Vincent %A Bhiri, Sami %B KES %D 2019 %E Rudas, Imre J. %E Csirik, János %E Toro, Carlos %E Botzheim, János %E Howlett, Robert J. %E Jain, Lakhmi C. %I Elsevier %K dblp %P 717-726 %T Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems. %U http://dblp.uni-trier.de/db/conf/kes/kes2019.html#MissaouiMHB19 %V 159

@inproceedings{conf/kes/MissaouiMHB19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Missaoui, Ezzine and Mazigh, Belhassen and Hilaire, Vincent and Bhiri, Sami}, biburl = {https://www.bibsonomy.org/bibtex/279f5dd42f5b2420aec7eba1d30926d66/dblp}, booktitle = {KES}, crossref = {conf/kes/2019}, editor = {Rudas, Imre J. and Csirik, János and Toro, Carlos and Botzheim, János and Howlett, Robert J. and Jain, Lakhmi C.}, ee = {https://doi.org/10.1016/j.procs.2019.09.227}, interhash = {e992efab66037f9d3aaea45aec6d1d99}, intrahash = {79f5dd42f5b2420aec7eba1d30926d66}, keywords = {dblp}, pages = {717-726}, publisher = {Elsevier}, series = {Procedia Computer Science}, timestamp = {2024-04-09T19:50:20.000+0200}, title = {Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems.}, url = {http://dblp.uni-trier.de/db/conf/kes/kes2019.html#MissaouiMHB19}, volume = 159, year = 2019 }