Inproceedings,
A logic for model-checking mean-field models.
A. Kolesnichenko, P. de Boer, A. Remke, and B. Haverkort.DSN, page 1-12. IEEE Computer Society, (2013)
Meta data
- BibTeX key
- conf/dsn/KolesnichenkoBRH13
- entry type
- inproceedings
- booktitle
- DSN
- year
- 2013
- pages
- 1-12
- publisher
- IEEE Computer Society
- crossref
- conf/dsn/2013
- ee
- https://doi.ieeecomputersociety.org/10.1109/DSN.2013.6575345
- isbn
- 978-1-4673-6471-3
- url
- http://dblp.uni-trier.de/db/conf/dsn/dsn2013.html#KolesnichenkoBRH13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dsn/KolesnichenkoBRH13
%A Kolesnichenko, Anna
%A de Boer, Pieter-Tjerk
%A Remke, Anne
%A Haverkort, Boudewijn R.
%B DSN
%D 2013
%I IEEE Computer Society
%K dblp
%P 1-12
%T A logic for model-checking mean-field models.
%U http://dblp.uni-trier.de/db/conf/dsn/dsn2013.html#KolesnichenkoBRH13
%@ 978-1-4673-6471-3
@inproceedings{conf/dsn/KolesnichenkoBRH13,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Kolesnichenko, Anna and de Boer, Pieter-Tjerk and Remke, Anne and Haverkort, Boudewijn R.},
biburl = {https://www.bibsonomy.org/bibtex/2be82093b2e6b779ac0d634cadbd0a5b0/dblp},
booktitle = {DSN},
crossref = {conf/dsn/2013},
ee = {https://doi.ieeecomputersociety.org/10.1109/DSN.2013.6575345},
interhash = {8975e6a50356160a851e84ccc25bc325},
intrahash = {be82093b2e6b779ac0d634cadbd0a5b0},
isbn = {978-1-4673-6471-3},
keywords = {dblp},
pages = {1-12},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T16:07:12.000+0200},
title = {A logic for model-checking mean-field models.},
url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2013.html#KolesnichenkoBRH13},
year = 2013
}