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

• 2012

  Probabilistic logic and the metric space of logical formulas

  Mardare, R. I., Sept 2012, In: Bulletin of Symbolic Logic. 18, 3, p. 455

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

  • Probabilistic Logic 100%
  • Symbolic Logic 100%
  • Metric Space 100%