Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  • Mardare, Radu (Projektdeltager)
Filter
Bidrag til bog/antologi

Søgeresultater

  • 2012

    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. (red.). Springer Science+Business Media, Bind 7230. s. 219-243 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    1 Citationer (Scopus)