BibTeX record journals/corr/abs-1107-0066

• > Home > journals/corr/abs-1107-0066

@inproceedings{DBLP:journals/corr/abs-1107-0066,
  author       = {Francisco Dur{\'{a}}n and
                  Peter Csaba {\"{O}}lveczky and
                  Jos{\'{e}} Eduardo Rivera},
  editor       = {Francisco Dur{\'{a}}n and
                  Vlad Rusu},
  title        = {Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case
                  Studies},
  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        = {49--63},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.56.4},
  doi          = {10.4204/EPTCS.56.4},
  timestamp    = {Mon, 28 Jun 2021 11:09:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-0066.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}