Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna. Combining Agent-Oriented Conceptual Modelling with Formal Methods. In 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia. pages 147-157, IEEE Computer Society, 2004. [doi]
Abstract is missing.