Abstract Probabilistic Semantics for the Analysis of Bio Sys Models
-
pokkari
,
Englanti, 2012