Parameterized Metatheory for Continuous Markovian Logic

Kim Guldstrand Larsen, Radu Iulian Mardare, Claus Thrane

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

1 resultater

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