Concurrency, Graphs and Models More Books by 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