%0 Conference Paper %1 conf/selmas/AlmeidaSPC04 %A de Almeida, Hyggo Oliveira %A da Silva, Leandro Dias %A Perkusich, Angelo %A de Barros Costa, Evandro %B SELMAS %D 2004 %E Choren, Ricardo %E Garcia, Alessandro F. %E de Lucena, Carlos José Pereira %E Romanovsky, Alexander B. %I Springer %K dblp %P 162-179 %T A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets. %U http://dblp.uni-trier.de/db/conf/selmas/selmas2004.html#AlmeidaSPC04 %V 3390 %@ 3-540-24843-9

@inproceedings{conf/selmas/AlmeidaSPC04, added-at = {2017-06-15T00:00:00.000+0200}, author = {de Almeida, Hyggo Oliveira and da Silva, Leandro Dias and Perkusich, Angelo and de Barros Costa, Evandro}, biburl = {https://www.bibsonomy.org/bibtex/2157733f0229f34949e4f3e5590d1c55d/dblp}, booktitle = {SELMAS}, crossref = {conf/selmas/2004}, editor = {Choren, Ricardo and Garcia, Alessandro F. and de Lucena, Carlos José Pereira and Romanovsky, Alexander B.}, ee = {https://doi.org/10.1007/978-3-540-31846-0_10}, interhash = {6f0f80ef8fcbe44c710abf74211debbd}, intrahash = {157733f0229f34949e4f3e5590d1c55d}, isbn = {3-540-24843-9}, keywords = {dblp}, pages = {162-179}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-07T11:37:59.000+0100}, title = {A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/selmas/selmas2004.html#AlmeidaSPC04}, volume = 3390, year = 2004 }