BibTeX record conf/ifip2/BolligKKL08

• > Home > conf/ifip2/BolligKKL08

@inproceedings{DBLP:conf/ifip2/BolligKKL08,
  author       = {Benedikt Bollig and
                  Joost{-}Pieter Katoen and
                  Carsten Kern and
                  Martin Leucker},
  editor       = {Zbigniew Huzar and
                  Radek Koc{\'{\i}} and
                  Bertrand Meyer and
                  Bartosz Walter and
                  Jaroslav Zendulka},
  title        = {{SMA} - The Smyle Modeling Approach},
  booktitle    = {Software Engineering Techniques - Third {IFIP} {TC} 2 Central and
                  East European Conference, {CEE-SET} 2008, Brno, Czech Republic, October
                  13-15, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4980},
  pages        = {103--117},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-22386-0\_8},
  doi          = {10.1007/978-3-642-22386-0\_8},
  timestamp    = {Thu, 23 Jun 2022 19:58:15 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2/BolligKKL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}