BibTeX record conf/isola/ColasMHKWRVMCBHSK08

• > Home > conf/isola/ColasMHKWRVMCBHSK08

@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},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  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},
  series       = {Communications in Computer and Information Science},
  volume       = {17},
  pages        = {669--683},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88479-8\_48},
  doi          = {10.1007/978-3-540-88479-8\_48},
  timestamp    = {Wed, 01 Sep 2021 06:55:43 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/ColasMHKWRVMCBHSK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}