2 search results - page 1 / 1 » CSL Model Checking of Biochemical Networks with Interval Dec... |
CMSB
2009
Springer
13 years 12 months ago
2009
Springer
ICCAD
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...