@book{4099a2dcab0740c0adc4f5ed796cc865,
title = "A logic for model-checking of mean-field models",
abstract = "Recently, many systems consisting of a large number of interacting objects were analysed using the mean-field method, which has only been used for performance evaluation. In this short paper, we apply it to model checking. We define logic, which allows to describe the overall properties of the large system.",
keywords = "EWI-21631, Mean-field model-checking, IR-80267, METIS-286289",
author = "A.V. Kolesnichenko and Remke, {Anne Katharina Ingrid} and {de Boer}, Pieter-Tjerk and Haverkort, {Boudewijn R.H.M.}",
note = "This is an authors' version of the short abstract, which was excepted for the presentation at QAPL'12.",
year = "2012",
month = mar,
day = "30",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-12-11",
address = "Netherlands",
}