Wamberto Weber Vasconcelos. Norm Verification and Analysis of Electronic Institutions. In João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum, editors, Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Volume 3476 of Lecture Notes in Computer Science, pages 166-182, Springer, 2004. [doi]
Abstract is missing.