1
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... -- Probabilistic Model Checking of the PDGF Signaling Pathway -- Self-assembly Models of Variable Resolution...