Abstract Probabilistic Semantics for the Analysis of Bio Sys Models

Bok av Scatena Guido