BibTeX record conf/med/BasileTMPS22

download as .bib file

@inproceedings{DBLP:conf/med/BasileTMPS22,
  author       = {Francesco Basile and
                  Gianmaria De Tommasi and
                  Carlo Motta and
                  Alberto Petrillo and
                  Stefania Santini},
  title        = {Assessment of Initial-State-Opacity in Live Bounded and Reversible
                  Discrete Event Systems via Integer Linear Programming},
  booktitle    = {30th Mediterranean Conference on Control and Automation, {MED} 2022,
                  Vouliagmeni, Greece, June 28 - July 1, 2022},
  pages        = {994--999},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/MED54222.2022.9837143},
  doi          = {10.1109/MED54222.2022.9837143},
  timestamp    = {Mon, 26 Jun 2023 20:46:13 +0200},
  biburl       = {https://dblp.org/rec/conf/med/BasileTMPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}