<?xml version="1.0"?>
<dblp>
<incollection key="series/lncs/SandersS08" mdate="2009-07-04">
<author>Jeffrey W. Sanders</author>
<author>Graeme Smith</author>
<title>Formal Ensemble Engineering.</title>
<pages>132-138</pages>
<year>2008</year>
<booktitle>Software-Intensive Systems and New Computing Paradigms</booktitle>
<ee>http://dx.doi.org/10.1007/978-3-540-89437-7_8</ee>
<crossref>series/lncs/5380</crossref>
<url>db/series/lncs/lncs5380.html#SandersS08</url>
</incollection>
</dblp>
