Combining Epistemic Logic and Hennessy-Milner Logic

Sophia Knight, Radu Iulian Mardare, Prakash Panangaden

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

1 Citation (Scopus)

1 results

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