Login / Signup
Temporal logic patterns for querying dynamic models of cellular interaction networks.
Pedro T. Monteiro
Delphine Ropers
Radu Mateescu
Ana T. Freitas
Hidde de Jong
Published in:
ECCB (2008)
Keyphrases
</>
temporal logic
dynamic model
interaction networks
model checking
molecular interactions
experimental data
verification method
linear temporal logic
gene regulatory networks
belief revision
pattern discovery
pattern mining
frequent patterns
protein protein interaction networks
databases
data mining techniques
biological processes
query language