BibTeX record conf/case/AicherRV15

• > Home > conf/case/AicherRV15

@inproceedings{DBLP:conf/case/AicherRV15,
  author       = {Thomas Aicher and
                  Sebastian Rehberger and
                  Birgit Vogel{-}Heuser},
  title        = {Towards finding the appropriate level of abstraction to model and
                  verify automated production systems in discrete event simulation},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
  pages        = {1048--1053},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CoASE.2015.7294237},
  doi          = {10.1109/COASE.2015.7294237},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/AicherRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}