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

Luca Cardelli, Kim Guldstrand Larsen, Radu Mardare

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

9 Citationer (Scopus)

1 resultater

Filter

Afsluttet
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning