BibTeX record conf/cdc/LiaoLRWM10

• > Home > conf/cdc/LiaoLRWM10

@inproceedings{DBLP:conf/cdc/LiaoLRWM10,
  author       = {Hongwei Liao and
                  St{\'{e}}phane Lafortune and
                  Spyros A. Reveliotis and
                  Yin Wang and
                  Scott A. Mahlke},
  title        = {Synthesis of maximally-permissive liveness-enforcing control policies
                  for Gadara petri nets},
  booktitle    = {Proceedings of the 49th {IEEE} Conference on Decision and Control,
                  {CDC} 2010, December 15-17, 2010, Atlanta, Georgia, {USA}},
  pages        = {2797--2804},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/CDC.2010.5716934},
  doi          = {10.1109/CDC.2010.5716934},
  timestamp    = {Fri, 04 Mar 2022 13:28:01 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/LiaoLRWM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}