Probabilistic logic and the metric space of logical formulas

Radu Iulian Mardare

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review

1 resultater

Filter

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