Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Research output

Research output per year 2011 2012 2013

• 4 Article in proceeding
• 2 Conference article in Journal
• 1 Book chapter
• 1 Conference abstract for conference
• 2 More
  • 1 Journal article
  • 1 Conference abstract in journal

Research output per year

Research output per year

Search results

• A Metric Analogue of Stone Duality for Markov Processes

  Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012.

  Research output: Contribution to conference without publisher/journal › Conference abstract for conference › Research › peer-review