BibTeX record conf/case/WangLNRKML09

• > Home > conf/case/WangLNRKML09

@inproceedings{DBLP:conf/case/WangLNRKML09,
  author       = {Yin Wang and
                  Hongwei Liao and
                  Ahmed Nazeem and
                  Spyros A. Reveliotis and
                  Terence Kelly and
                  Scott A. Mahlke and
                  St{\'{e}}phane Lafortune},
  title        = {Maximally permissive deadlock avoidance for multithreaded computer
                  programs (Extended abstract)},
  booktitle    = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
                  Bangalore, India, 22-25 August, 2011},
  pages        = {37--41},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/COASE.2009.5234118},
  doi          = {10.1109/COASE.2009.5234118},
  timestamp    = {Sun, 25 Jul 2021 11:54:47 +0200},
  biburl       = {https://dblp.org/rec/conf/case/WangLNRKML09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}