BibTeX record conf/pts/CavalliPY00

download as .bib file

@inproceedings{DBLP:conf/pts/CavalliPY00,
  author       = {Ana R. Cavalli and
                  Svetlana Prokopenko and
                  Nina Yevtushenko},
  editor       = {Hasan Ural and
                  Robert L. Probert and
                  Gregor von Bochmann},
  title        = {Fault Detection Power of a Widely Used Test Suite for a System of
                  Communicating FSMs},
  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        = {35},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Tue, 15 Feb 2022 08:52:40 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/CavalliPY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics