BibTeX record books/tf/11/VainKKMR11

download as .bib file

@incollection{DBLP:books/tf/11/VainKKMR11,
  author       = {Juri Vain and
                  Andres Kull and
                  Marko K{\"{a}}{\"{a}}ramees and
                  Maili Markvardt and
                  Kullo Raiend},
  editor       = {Justyna Zander and
                  Ina Schieferdecker and
                  Pieter J. Mosterman},
  title        = {Reactive Testing of Nondeterministic Systems by Test Purpose-Directed
                  Tester},
  booktitle    = {Model-Based Testing for Embedded Systems},
  series       = {Computational Analysis, Synthesis, {\&} Design Dynamic Systems},
  publisher    = {{CRC} Press},
  year         = {2011},
  url          = {https://doi.org/10.1201/b11321-16},
  doi          = {10.1201/B11321-16},
  timestamp    = {Wed, 25 Sep 2019 17:41:12 +0200},
  biburl       = {https://dblp.org/rec/books/tf/11/VainKKMR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics