Fingerprint
Dive into the research topics of 'A logic for model-checking mean-field models'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A logic for model-checking mean-field models
A.V. Kolesnichenko, Pieter-Tjerk de Boer, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort
Research output: Other contribution
9
Citations
(Scopus)