BibTeX record conf/case/Ruiz-BeltranRLA07

download as .bib file

@inproceedings{DBLP:conf/case/Ruiz-BeltranRLA07,
  author       = {Elvia Ruiz{-}Beltr{\'{a}}n and
                  Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
                  Ernesto L{\'{o}}pez{-}Mellado and
                  Jes{\'{u}}s Ar{\'{a}}mburo{-}Liz{\'{a}}rraga},
  title        = {A Structural Characterization of Diagnosable Petri Net Models},
  booktitle    = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2007,
                  September 22-25, 2007. Scottsdale, Arizona, {USA}},
  pages        = {1137--1142},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/COASE.2007.4341818},
  doi          = {10.1109/COASE.2007.4341818},
  timestamp    = {Tue, 21 Mar 2023 20:57:41 +0100},
  biburl       = {https://dblp.org/rec/conf/case/Ruiz-BeltranRLA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics