BibTeX record conf/pts/PetrenkoU00

download as .bib file

@inproceedings{DBLP:conf/pts/PetrenkoU00,
  author    = {Alexandre Petrenko and
               Andreas Ulrich},
  editor    = {Hasan Ural and
               Robert L. Probert and
               Gregor von Bochmann},
  title     = {Verification and Testing of Concurrent Systems with Action Races},
  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     = {261--280},
  publisher = {Kluwer},
  year      = {2000},
  timestamp = {Mon, 22 Jul 2002 15:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/pts/PetrenkoU00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics