A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks
Picard, Vincent ; Siegel, Anne ; Bourdon, Jérémie
Journal of computational biology, 2017-08, Vol.24 (8), p.734-745
[Periódico revisado por pares]
United States: Mary Ann Liebert
Texto completo disponível