BibTeX record journals/corr/abs-1107-0063

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1107-0063,
  author       = {Peter Csaba {\"{O}}lveczky},
  editor       = {Francisco Dur{\'{a}}n and
                  Vlad Rusu},
  title        = {Formal Model Engineering for Embedded Systems Using Real-Time Maude},
  booktitle    = {Proceedings Second International Workshop on Algebraic Methods in
                  Model-based Software Engineering, {AMMSE} 2011, Zurich, Switzerland,
                  30th June 2011},
  series       = {{EPTCS}},
  volume       = {56},
  pages        = {3--13},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.56.1},
  doi          = {10.4204/EPTCS.56.1},
  timestamp    = {Mon, 28 Jun 2021 11:09:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-0063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics