2 search results - page 1 / 1 » CSL Model Checking of Biochemical Networks with Interval Dec... |
96
Voted
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
127
Voted
ICCAD
1998
IEEE
15 years 7 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...