No photo of Chunyan Mu
20132019

Research activity per year

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

Search results

  • Conference contribution

    Asymptotic behaviour in temporal logic

    Asarin, E., Bockelet, M., Degorre, A., Dima, C. & Mu, C., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . ACM, p. 1-9 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    180 Downloads (Pure)
  • Automated Game-Theoretic Verification of Security Systems

    Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    214 Downloads (Pure)