Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  • Mardare, Radu (Project Participant)
Book chapter

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 proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)