Concurrency, Graphs and Models Mehr Bücher von 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