2009): CSL Model Checking of Biochemical Networks with Interval Decision Diagram (0)

by M Schwarick, M Heiner
Venue:In: Proc. 7th Conference on Computational Methods in Systems Biology, LNCS 5688