Combining Epistemic Logic and Hennessy-Milner Logic

Sophia Knight, Radu Iulian Mardare, Prakash Panangaden

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

1 Citationer (Scopus)

1 resultater

Filter

Forskning
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning