BibTeX record conf/isola/WirsingHABCFGGGKLMMPSTTV08

download as .bib file

  author    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl and
               Lucia Acciai and
               Federico Banti and
               Allan Clark and
               Alessandro Fantechi and
               Stephen Gilmore and
               Stefania Gnesi and
               L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
               Nora Koch and
               Alessandro Lapadula and
               Philip Mayer and
               Franco Mazzanti and
               Rosario Pugliese and
               Andreas Schroeder and
               Francesco Tiezzi and
               Mirco Tribastone and
               D{\'{a}}niel Varr{\'{o}}},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
               Transformation and Dynamicity},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {17},
  pages     = {170--190},
  publisher = {Springer},
  year      = {2008},
  url       = {\_13},
  doi       = {10.1007/978-3-540-88479-8\_13},
  timestamp = {Thu, 20 May 2021 14:31:19 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics