%0 Conference Paper %1 conf/admi/DimouTSM14 %A Dimou, Christos %A Tzima, Fani A. %A Symeonidis, Andreas L. %A Mitkas, Pericles A. %B ADMI %D 2014 %E Cao, Longbing %E Zeng, Yifeng %E An, Bo %E Symeonidis, Andreas L. %E Gorodetsky, Vladimir %E Coenen, Frans %E Yu, Philip S. %I Springer %K dblp %P 64-78 %T Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation. %U http://dblp.uni-trier.de/db/conf/admi/admi2014.html#DimouTSM14 %V 9145 %@ 978-3-319-20229-7

@inproceedings{conf/admi/DimouTSM14, added-at = {2020-06-15T00:00:00.000+0200}, author = {Dimou, Christos and Tzima, Fani A. and Symeonidis, Andreas L. and Mitkas, Pericles A.}, biburl = {https://www.bibsonomy.org/bibtex/26630be9e5c69f2f7bc8493e842af8e44/dblp}, booktitle = {ADMI}, crossref = {conf/admi/2014}, editor = {Cao, Longbing and Zeng, Yifeng and An, Bo and Symeonidis, Andreas L. and Gorodetsky, Vladimir and Coenen, Frans and Yu, Philip S.}, ee = {https://doi.org/10.1007/978-3-319-20230-3_6}, interhash = {5104c8d3f9d70e4e33febbfe837d6ff9}, intrahash = {6630be9e5c69f2f7bc8493e842af8e44}, isbn = {978-3-319-20229-7}, keywords = {dblp}, pages = {64-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:40:25.000+0200}, title = {Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation.}, url = {http://dblp.uni-trier.de/db/conf/admi/admi2014.html#DimouTSM14}, volume = 9145, year = 2014 }