@article{stochkitff:ercimnews:10,
  volume = {82},
  month = jul,
  issn = {0926-4981},
  author = {Marco Aldinucci and Andrea Bracciali and Pietro Li\`o},
  keywords = {bioinformatics, fastflow},
  url = {http://ercim-news.ercim.eu/images/stories/EN82/EN82-web.pdf},
  abstract = {The human immune system fights pathogens using an articulated set
              of strategies whose function is to maintain in health the
              organism. A large effort to formally model such a complex system
              using a computational approach is currently underway, with the
              goal of developing a discipline for engineering "synthetic" immune
              responses. This requires the integration of a range of analysis
              techniques developed for formally reasoning about the behaviour of
              complex dynamical systems. Furthermore, a novel class of software
              tools has to be developed, capable of efficiently analysing these
              systems on widely accessible computing platforms, such as
              commodity multi-core architectures..},
  title = {Formal Synthetic Immunology},
  year = {2010},
  journal = {ERCIM News},
  pages = {40-41},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)