Symbolic Model Checking of Biochemical Networks. In: (2003)

by N Chabrier, F Fages
Venue:Proc. 1st Internl. Workshop on Computational Methods in Systems Biology,