BibTeX record: conf/isola/ColasMHKWRVMCBHSK08

download as .bib file

@inproceedings{DBLP:conf/isola/ColasMHKWRVMCBHSK08,
  author    = {Fabrice Colas and
               Ingrid Meulenbelt and
               Jeanine J. {Houwing-Duistermaat} and
               Margreet Kloppenburg and
               Iain Watt and
               Stephanie M. van Rooden and
               Martine Visser and
               Johan Marinus and
               Edward O. Cannon and
               Andreas Bender and
               Jacobus J. van Hilten and
               P. Eline Slagboom and
               Joost N. Kok},
  title     = {A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics
               Data.},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  year      = {2008},
  pages     = {669--683},
  crossref  = {DBLP:conf/isola/2008},
  url       = {http://dx.doi.org/10.1007/978-3-540-88479-8_48},
  doi       = {10.1007/978-3-540-88479-8_48},
  timestamp = {Tue, 02 Sep 2014 21:39:01 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/ColasMHKWRVMCBHSK08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  series    = {Communications in Computer and Information Science},
  year      = {2008},
  volume    = {17},
  publisher = {Springer},
  isbn      = {978-3-540-88478-1},
  timestamp = {Tue, 02 Sep 2014 21:39:01 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}