Formal Methods for Computational Systems Biology - Bernardo, Marco; Degano, Pierpaolo; Kanade, Takeo; Zavattaro, Gianluigi (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering