Concurrency, Graphs and Models Sách Khác Của 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