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

• Combining Epistemic Logic and Hennessy-Milner Logic

  Knight, S., Mardare, R. I. & Panangaden, P., 2012, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (eds.). Springer Science+Business Media, Vol. 7230. p. 219-243 (Lecture Notes in Computer Science).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
  1 Citation (Scopus)