Radu Mardare

Prof

  • United Kingdom

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2012

    Combining epistemic logic and Hennessy-Milner logic

    Knight, S., Mardare, R. & Panangaden, P., 21 May 2012, Logic and Program Semantics. Constable, R. L. & Silva, A. (eds.). Berlin: Springer-Verlag, p. 219-243 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7230 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)