Hyggo Oliveira de Almeida, Leandro Dias da Silva, Angelo Perkusich, Evandro de Barros Costa. A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets. In Ricardo Choren, Alessandro F. Garcia, Carlos José Pereira de Lucena, Alexander B. Romanovsky, editors, Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004]. Volume 3390 of Lecture Notes in Computer Science, pages 162-179, Springer, 2004. [doi]
@inproceedings{AlmeidaSPC04,
title = {A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets},
author = {Hyggo Oliveira de Almeida and Leandro Dias da Silva and Angelo Perkusich and Evandro de Barros Costa},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3390&spage=162},
tags = {model checking, meta-model, Meta-Environment, systematic-approach},
researchr = {https://researchr.org/publication/AlmeidaSPC04},
cites = {0},
citedby = {0},
pages = {162-179},
booktitle = {Software Engineering for Multi-Agent Systems III, Research Issues and Practical Applications [the book is a result of SELMAS 2004]},
editor = {Ricardo Choren and Alessandro F. Garcia and Carlos José Pereira de Lucena and Alexander B. Romanovsky},
volume = {3390},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-24843-9},
}