Inproceedings,
Model Checking Performability Properties.
B. Haverkort, L. Cloth, H. Hermanns, J. Katoen, and C. Baier.DSN, page 103-112. IEEE Computer Society, (2002)
Meta data
- BibTeX key
- conf/dsn/HaverkortCHK02
- entry type
- inproceedings
- booktitle
- DSN
- year
- 2002
- pages
- 103-112
- publisher
- IEEE Computer Society
- crossref
- conf/dsn/2002
- ee
- https://www.wikidata.org/entity/Q57802048
- isbn
- 0-7695-1597-5
- url
- http://dblp.uni-trier.de/db/conf/dsn/dsn2002.html#HaverkortCHK02
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dsn/HaverkortCHK02
%A Haverkort, Boudewijn R.
%A Cloth, Lucia
%A Hermanns, Holger
%A Katoen, Joost-Pieter
%A Baier, Christel
%B DSN
%D 2002
%I IEEE Computer Society
%K
%P 103-112
%T Model Checking Performability Properties.
%U http://dblp.uni-trier.de/db/conf/dsn/dsn2002.html#HaverkortCHK02
%@ 0-7695-1597-5
@inproceedings{conf/dsn/HaverkortCHK02,
added-at = {2023-12-13T01:46:17.000+0100},
author = {Haverkort, Boudewijn R. and Cloth, Lucia and Hermanns, Holger and Katoen, Joost-Pieter and Baier, Christel},
biburl = {https://www.bibsonomy.org/bibtex/2d32695d328b2793507effdc43f597c65/admin},
booktitle = {DSN},
crossref = {conf/dsn/2002},
ee = {https://www.wikidata.org/entity/Q57802048},
interhash = {7633364b39694ff699dded8c40b6996c},
intrahash = {d32695d328b2793507effdc43f597c65},
isbn = {0-7695-1597-5},
keywords = {},
pages = {103-112},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T01:46:17.000+0100},
title = {Model Checking Performability Properties.},
url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2002.html#HaverkortCHK02},
year = 2002
}