BibTeX record conf/tools/TreharneTPK09

• > Home > conf/tools/TreharneTPK09

@inproceedings{DBLP:conf/tools/TreharneTPK09,
  author       = {Helen Treharne and
                  Edward Turner and
                  Richard F. Paige and
                  Dimitrios S. Kolovos},
  editor       = {Manuel Oriol and
                  Bertrand Meyer},
  title        = {Automatic Generation of Integrated Formal Models Corresponding to
                  {UML} System Models},
  booktitle    = {Objects, Components, Models and Patterns, 47th International Conference,
                  {TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
                  Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {33},
  pages        = {357--367},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02571-6\_21},
  doi          = {10.1007/978-3-642-02571-6\_21},
  timestamp    = {Fri, 02 Nov 2018 09:40:10 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/TreharneTPK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}