BibTeX record: conf/fmam/BeekMS10

download as .bib file

@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} 2010 - Second International Workshop on Formal Methods and
               Agile Methods, 17 September 2010, Pisa (Italy)},
  year      = {2010},
  pages     = {79--98},
  crossref  = {DBLP:conf/fmam/2010},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings179/article6227.html},
  timestamp = {Fri, 19 Sep 2014 02:04:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmam/BeekMS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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)},
  series    = {{LNI}},
  year      = {2010},
  volume    = {179},
  publisher = {{GI}},
  isbn      = {978-3-88579-273-4},
  timestamp = {Fri, 19 Sep 2014 02:04:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmam/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}