Probabilistic model checking of complex biological pathways
Under an Elsevier user license
open archive
Keywords
Probabilistic model checking
Probabilistic verification
Biological pathways
Biological modelling
Cited by (0)
Copyright © 2007 Elsevier Ltd. All rights reserved.