4341 search results - page 27 / 869 » Quantitative Model checking |
VLSID
2004
IEEE
14 years 9 months ago
2004
IEEE
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
ICEIS
2009
IEEE
14 years 3 months ago
2009
IEEE
BIBE
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
DASC
2006
IEEE
14 years 2 months ago
2006
IEEE
