Continuous Markovian Logics: Axiomatization and Quantified Metatheory

Radu Iulian Mardare, Luca Cardelli, Kim Guldstrand Larsen

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

10 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