SandersS08'

BibTeX

@incollection{DBLP:series/lncs/SandersS08,
  author    = {Jeffrey W. Sanders and
               Graeme Smith},
  title     = {Formal Ensemble Engineering},
  booktitle = {Software-Intensive Systems and New Computing Paradigms},
  year      = {2008},
  pages     = {132-138},
  ee        = {http://dx.doi.org/10.1007/978-3-540-89437-7_8},
  crossref  = {DBLP:series/lncs/5380},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:series/lncs/5380,
  editor    = {Martin Wirsing and
               Jean-Pierre Ban{\^a}tre and
               Matthias M. H{\"o}lzl and
               Axel Rauschmayer},
  title     = {Software-Intensive Systems and New Computing Paradigms -
               Challenges and Visions},
  booktitle = {Software-Intensive Systems and New Computing Paradigms},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5380},
  year      = {2008},
  isbn      = {978-3-540-89436-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}