BibTeX record conf/icteri/DjeddaiMS12

download as .bib file

@inproceedings{DBLP:conf/icteri/DjeddaiMS12,
  author    = {Selma Djeddai and
               Mohamed Mezghiche and
               Martin Strecker},
  title     = {A Case Study in Combining Formal Verification and Model-Driven Engineering},
  booktitle = {Proceedings of the 8th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012},
  pages     = {275--289},
  year      = {2012},
  crossref  = {DBLP:conf/icteri/2012},
  url       = {http://ceur-ws.org/Vol-848/ICTERI-2012-CEUR-WS-SMSV-paper-1-p-275-289.pdf},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/DjeddaiMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icteri/2012,
  editor    = {Vadim Ermolayev and
               Heinrich C. Mayr and
               Mykola S. Nikitchenko and
               Aleksander Spivakovsky and
               Grygoriy Zholtkevych and
               Mikhail Zavileysky and
               Vitaliy Kobets},
  title     = {Proceedings of the 8th International Conference on {ICT} in Education,
               Research and Industrial Applications: Integration, Harmonization and
               Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {848},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-848},
  urn       = {urn:nbn:de:0074-848-8},
  timestamp = {Tue, 28 May 2019 16:23:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icteri/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics