BibTeX record journals/ijmic/KhalguiH11

download as .bib file

@article{DBLP:journals/ijmic/KhalguiH11,
  author       = {Mohamed Khalgui and
                  Hans{-}Michael Hanisch},
  title        = {Automatic NCES-based specification and SESA-based verification of
                  feasible control components in benchmark production systems},
  journal      = {Int. J. Model. Identif. Control.},
  volume       = {12},
  number       = {3},
  pages        = {223--243},
  year         = {2011},
  url          = {https://doi.org/10.1504/IJMIC.2011.039701},
  doi          = {10.1504/IJMIC.2011.039701},
  timestamp    = {Sat, 30 Sep 2023 10:15:54 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmic/KhalguiH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics