BibTeX record conf/mascots/KwiatkowskaPZM04

download as .bib file

@inproceedings{DBLP:conf/mascots/KwiatkowskaPZM04,
  author    = {Marta Z. Kwiatkowska and
               David Parker and
               Yi Zhang and
               Rashid Mehmood},
  title     = {Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking},
  booktitle = {12th International Workshop on Modeling, Analysis, and Simulation
               of Computer and Telecommunication Systems {(MASCOTS} 2004), 4-8 October
               2004, Vollendam, The Netherlands},
  pages     = {123--130},
  year      = {2004},
  crossref  = {DBLP:conf/mascots/2004},
  url       = {http://dx.doi.org/10.1109/MASCOT.2004.1348189},
  doi       = {10.1109/MASCOT.2004.1348189},
  timestamp = {Thu, 23 Apr 2015 07:32:35 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mascots/KwiatkowskaPZM04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mascots/2004,
  editor    = {Doug DeGroot and
               Peter G. Harrison and
               Harry A. G. Wijshoff and
               Zary Segall},
  title     = {12th International Workshop on Modeling, Analysis, and Simulation
               of Computer and Telecommunication Systems {(MASCOTS} 2004), 4-8 October
               2004, Vollendam, The Netherlands},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9336},
  isbn      = {0-7695-2251-3},
  timestamp = {Thu, 16 Oct 2014 17:35:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mascots/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}