BibTeX record journals/tase/FeiRMA15

• > Home > journals/tase/FeiRMA15

@article{DBLP:journals/tase/FeiRMA15,
  author       = {Zhennan Fei and
                  Spyros A. Reveliotis and
                  Sajed Miremadi and
                  Knut {\AA}kesson},
  title        = {A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance
                  Policies for Complex Resource Allocation Systems},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {12},
  number       = {3},
  pages        = {990--1006},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2014.2369858},
  doi          = {10.1109/TASE.2014.2369858},
  timestamp    = {Thu, 02 Apr 2020 08:36:45 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/FeiRMA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}