BibTeX record conf/mabs/HerdMML13

download as .bib file

@inproceedings{DBLP:conf/mabs/HerdMML13,
  author    = {Benjamin Herd and
               Simon Miles and
               Peter McBurney and
               Michael Luck},
  title     = {Verification and Validation of Agent-Based Simulations Using Approximate
               Model Checking},
  booktitle = {Multi-Agent-Based Simulation {XIV} - International Workshop, {MABS}
               2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers},
  pages     = {53--70},
  year      = {2013},
  crossref  = {DBLP:conf/mabs/2013},
  url       = {https://doi.org/10.1007/978-3-642-54783-6\_4},
  doi       = {10.1007/978-3-642-54783-6\_4},
  timestamp = {Thu, 15 Jun 2017 21:41:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mabs/HerdMML13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mabs/2013,
  editor    = {Shah Jamal Alam and
               H. Van Dyke Parunak},
  title     = {Multi-Agent-Based Simulation {XIV} - International Workshop, {MABS}
               2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8235},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54783-6},
  doi       = {10.1007/978-3-642-54783-6},
  isbn      = {978-3-642-54782-9},
  timestamp = {Thu, 15 Jun 2017 21:41:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mabs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier