Parameterized Metatheory for Continuous Markovian Logic

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science
Vol/bind103
Sider (fra-til)33-47
ISSN2075-2180
DOI
StatusUdgivet - 2012
BegivenhedQuantities in formal methods - Paris, Frankrig
Varighed: 28 aug. 201228 aug. 2012
Konferencens nummer: 1

Workshop

WorkshopQuantities in formal methods
Nummer1
LandFrankrig
ByParis
Periode28/08/201228/08/2012

Projekter

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Mardare, R.

01/10/201030/09/2012

Projekter: ProjektForskning

Citationsformater