Sciweavers

Share
CAV
2005
Springer

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

10 years 1 months ago
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Carla Piazza, Marco Antoniotti, Venkatesh Mysore,
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
Comments (0)
books