DMCA

CSL model checking of biochemical networks with interval decision diagrams (2009)

by Martin Schwarick , Monika Heiner
Venue:in Proc. CMSB 2009. LNCS/LNBI 5688
Citations:12 - 7 self