BibTeX record conf/mabs/HerdMML15

download as .bib file

@inproceedings{DBLP:conf/mabs/HerdMML15,
  author    = {Benjamin Herd and
               Simon Miles and
               Peter McBurney and
               Michael Luck},
  title     = {MC\({}^{\mbox{2}}\)MABS: {A} Monte Carlo Model Checker for Multiagent-Based
               Simulations},
  booktitle = {Multi-Agent-Based Simulation {XVI} - International Workshop, {MABS}
               2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
  pages     = {37--54},
  year      = {2015},
  crossref  = {DBLP:conf/mabs/2015},
  url       = {https://doi.org/10.1007/978-3-319-31447-1\_3},
  doi       = {10.1007/978-3-319-31447-1\_3},
  timestamp = {Thu, 15 Jun 2017 21:41:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mabs/HerdMML15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mabs/2015,
  editor    = {Benoit Gaudou and
               Jaime Sim{\~{a}}o Sichman},
  title     = {Multi-Agent-Based Simulation {XVI} - International Workshop, {MABS}
               2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9568},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-31447-1},
  doi       = {10.1007/978-3-319-31447-1},
  isbn      = {978-3-319-31446-4},
  timestamp = {Tue, 23 May 2017 01:10:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mabs/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier