BibTeX record conf/pts/BousquetRSVBV00

download as .bib file

@inproceedings{DBLP:conf/pts/BousquetRSVBV00,
  author    = {Lydie du Bousquet and
               Solofo Ramangalahy and
               S{\'{e}}verine Simon and
               C{\'{e}}sar Viho and
               Axel Belinfante and
               Ren{\'{e}} G. de Vries},
  editor    = {Hasan Ural and
               Robert L. Probert and
               Gregor von Bochmann},
  title     = {Formal Test Automation: The Conference Protocol with {TGV/TORX}},
  booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
               13\({}^{\mbox{th}}\) International Conference on Testing Communicating
               Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
  series    = {{IFIP} Conference Proceedings},
  volume    = {176},
  pages     = {221--228},
  publisher = {Kluwer},
  year      = {2000},
  timestamp = {Mon, 22 Jul 2002 15:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/pts/BousquetRSVBV00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics