BibTeX record conf/admi/DimouTSM14

• > Home > conf/admi/DimouTSM14

@inproceedings{DBLP:conf/admi/DimouTSM14,
  author       = {Christos Dimou and
                  Fani A. Tzima and
                  Andreas L. Symeonidis and
                  Pericles A. Mitkas},
  editor       = {Longbing Cao and
                  Yifeng Zeng and
                  Bo An and
                  Andreas L. Symeonidis and
                  Vladimir Gorodetsky and
                  Frans Coenen and
                  Philip S. Yu},
  title        = {Performance Evaluation of Agents and Multi-agent Systems Using Formal
                  Specifications in {Z} Notation},
  booktitle    = {Agents and Data Mining Interaction - 10th International Workshop,
                  {ADMI} 2014, Paris, France, May 5-9, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9145},
  pages        = {64--78},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-20230-3\_6},
  doi          = {10.1007/978-3-319-20230-3\_6},
  timestamp    = {Mon, 15 Jun 2020 17:07:33 +0200},
  biburl       = {https://dblp.org/rec/conf/admi/DimouTSM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}