NOGUEIRA, Igor B.; CORTÉS, Mariela I.; GONÇALVES, Enyo J. T.. Consistency Checking of Normative Multi-Agent System Models Using MAS-ML Tool. In: WORKSHOP-SCHOOL ON AGENTS, ENVIRONMENTS, AND APPLICATIONS (WESAAC), 10. , 2016, Maceió/AL. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2016 . p. 181-186. ISSN 2326-5434. DOI: https://doi.org/10.5753/wesaac.2016.33220.