Modular Markovian logic

L. Cardelli, Kim Guldstrand Larsen, R. Mardare

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

11 Citations (Scopus)

1 results

Finished
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Project: Research