Logo Università di Pisa BITS Annual Meeting 2011 - June 20-22, Pisa, Italy Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Pisa
  Registration Important dates Program

Application of a Modular Verification Technique in Systems Biology