C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Improved statistical model checking methods for pathway analysis.
Chuan Hock Koh
Sucheendra K. Palaniappan
P. S. Thiagarajan
Limsoon Wong
Published in:
BMC Bioinform. (2012)
Keyphrases
</>
model checking
temporal logic
automated verification
formal specification
state space
np complete
epistemic logic
temporal properties
symbolic model checking
concurrent systems
reachability analysis