Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

Luca Cardelli, Kim Guldstrand Larsen, Radu Mardare

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

9 Citations (Scopus)

1 results

Filter

Finished
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Project: Research