BibTeX record conf/sdl/LetichevskyLPW15

• > Home > conf/sdl/LetichevskyLPW15

@inproceedings{DBLP:conf/sdl/LetichevskyLPW15,
  author       = {Alexander A. Letichevsky and
                  Oleksandr A. Letychevskyi and
                  Volodymyr Peschanenko and
                  Thomas Weigert},
  editor       = {Joachim Fischer and
                  Markus Scheidgen and
                  Ina Schieferdecker and
                  Rick Reed},
  title        = {Insertion Modeling and Symbolic Verification of Large Systems},
  booktitle    = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International
                  {SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9369},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24912-4\_1},
  doi          = {10.1007/978-3-319-24912-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sdl/LetichevskyLPW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}