BibTeX record conf/icst/DavidLLN09

download as .bib file

@inproceedings{DBLP:conf/icst/DavidLLN09,
  author    = {Alexandre David and
               Kim Guldstrand Larsen and
               Shuhao Li and
               Brian Nielsen},
  title     = {Timed Testing under Partial Observability},
  booktitle = {{ICST}},
  pages     = {61--70},
  publisher = {{IEEE} Computer Society},
  year      = {2009}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics