BibTeX record conf/wcre/CookD02

download as .bib file

@inproceedings{DBLP:conf/wcre/CookD02,
  author    = {Jonathan E. Cook and
               Zhidian Du},
  title     = {Discovering Thread Interactions in a Concurrent System},
  booktitle = {{WCRE}},
  pages     = {255},
  publisher = {{IEEE} Computer Society},
  year      = {2002}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics