A case study in pathway knowledgebase verification.

Stephen A. Racunas Nigam Shah Nina V. Fedoroff

Published in: BMC Bioinform. (2006)

Keyphrases

case study
model checking
test bed
face verification
information systems
decision making
formal verification
data sets
search engine
multiscale
data model
formal methods
asynchronous circuits