BibTeX record conf/bir/BruningGF10

download as .bib file

@inproceedings{DBLP:conf/bir/BruningGF10,
  author    = {Jens Br{\"{u}}ning and
               Martin Gogolla and
               Peter Forbrig},
  editor    = {Peter Forbrig and
               Horst G{\"{u}}nther},
  title     = {Modeling and Formally Checking Workflow Properties Using {UML} and
               {OCL}},
  booktitle = {Perspectives in Business Informatics Research - 9th International
               Conference, {BIR} 2010, Rostock Germany, September 29-October 1, 2010.
               Proceedings},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {64},
  pages     = {130--145},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16101-8\_11},
  doi       = {10.1007/978-3-642-16101-8\_11},
  timestamp = {Thu, 25 May 2017 00:41:08 +0200},
  biburl    = {https://dblp.org/rec/conf/bir/BruningGF10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics