BibTeX record conf/pts/BouazizK06

download as .bib file

@inproceedings{DBLP:conf/pts/BouazizK06,
  author    = {Rachid Bouaziz and
               Ousmane Kon{\'{e}}},
  editor    = {M. {\"{U}}mit Uyar and
               Ali Y. Duale and
               Mariusz A. Fecko},
  title     = {Symbolic and on the Fly Testing with Real-Time Observers},
  booktitle = {Testing of Communicating Systems, 18th {IFIP} {TC6/WG6.1} International
               Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3964},
  pages     = {306--323},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11754008\_20},
  doi       = {10.1007/11754008\_20},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/pts/BouazizK06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics