Concurrency, Graphs and Models Plus de livres par Pierpaolo Degano, Rocco De Nicola & José Meseguer

Computational Methods in Systems Biology

2009

Formal Methods for Computational Systems Biology

2008

Formal Aspects in Security and Trust

2010