%0 Conference Paper %1 conf/idc/MoscatoVAM08 %A Moscato, Francesco %A Venticinque, Salvatore %A Aversa, Rocco %A Martino, Beniamino Di %B IDC %D 2008 %E Badica, Costin %E Mangioni, Giuseppe %E Carchiolo, Vincenza %E Burdescu, Dumitru Dan %I Springer %K dblp %P 187-196 %T Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework. %U http://dblp.uni-trier.de/db/conf/idc/idc2008.html#MoscatoVAM08 %V 162 %@ 978-3-540-85256-8

@inproceedings{conf/idc/MoscatoVAM08, added-at = {2018-11-14T00:00:00.000+0100}, author = {Moscato, Francesco and Venticinque, Salvatore and Aversa, Rocco and Martino, Beniamino Di}, biburl = {https://www.bibsonomy.org/bibtex/201f3becc0be6be79df04fa3ac4988a36/dblp}, booktitle = {IDC}, crossref = {conf/idc/2008}, editor = {Badica, Costin and Mangioni, Giuseppe and Carchiolo, Vincenza and Burdescu, Dumitru Dan}, ee = {https://www.wikidata.org/entity/Q57491965}, interhash = {1b0ef85c460241ec8a2a0cccaece6cb4}, intrahash = {01f3becc0be6be79df04fa3ac4988a36}, isbn = {978-3-540-85256-8}, keywords = {dblp}, pages = {187-196}, publisher = {Springer}, series = {Studies in Computational Intelligence}, timestamp = {2018-11-15T17:15:39.000+0100}, title = {Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.}, url = {http://dblp.uni-trier.de/db/conf/idc/idc2008.html#MoscatoVAM08}, volume = 162, year = 2008 }