Temporal logic patterns for querying dynamic models of cellular interaction networks (0)

by P T Monteiro, D Ropers, R Mateescu, A T Freitas, H De Jong
Venue:Bioinformatics