Fingerprint
Dive into the research topics of 'A logic for model-checking of mean-field models'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A logic for model-checking of mean-field models
A.V. Kolesnichenko, Anne Katharina Ingrid Remke, Pieter-Tjerk de Boer, Boudewijn R.H.M. Haverkort
Research output: Book/Report › Book › Scientific