BibTeX record journals/tse/CaiL16

download as .bib file

@article{DBLP:journals/tse/CaiL16,
  author    = {Yan Cai and
               Qiong Lu},
  title     = {Dynamic Testing for Deadlocks via Constraints},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {42},
  number    = {9},
  pages     = {825--842},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics