TY  - RPRT
TI  - Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
AU  - Pedro T. Monteiro
AU  - Delphine Ropers
AU  - Radu Mateescu
AU  - Ana T. Freitas
AU  - Hidde De Jong
PY  - 2008
UR  - https://arxiv.org/abs/0803.0802
ID  - 0803.0802
ER  -