DBLP BibTeX Record 'conf/fmam/BeekMS10'

@inproceedings{DBLP:conf/fmam/BeekMS10,
  author    = {Maurice H. ter Beek and
               Franco Mazzanti and
               Aldi Sulova},
  title     = {An Experience on Formal Analysis of a High-Level Graphical
               SOA Design},
  booktitle = {FM+AM},
  year      = {2010},
  pages     = {79-98},
  ee        = {http://subs.emis.de/LNI/Proceedings/Proceedings179/article6227.html},
  crossref  = {DBLP:conf/fmam/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fmam/2010,
  editor    = {Stefan Gruner and
               Bernhard Rumpe},
  title     = {FM+AM 2010 - Second International Workshop on Formal Methods
               and Agile Methods, 17 September 2010, Pisa (Italy)},
  booktitle = {FM+AM},
  publisher = {GI},
  series    = {LNI},
  volume    = {179},
  year      = {2010},
  isbn      = {978-3-88579-273-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}