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)},
  pages     = {79--98},
  year      = {2010},
  crossref  = {DBLP:conf/fmam/2010},
  url       = {http://subs.emis.de/LNI/Proceedings/Proceedings179/article6227.html},
  timestamp = {Thu, 10 May 2012 17:32:19 +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}},
  volume    = {179},
  publisher = {{GI}},
  year      = {2010},
  isbn      = {978-3-88579-273-4},
  timestamp = {Thu, 03 Feb 2011 14:54:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmam/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}