Inproceedings,
DTMC Model Checking by SCC Reduction.
E. Ábrahám, N. Jansen, R. Wimmer, J. Katoen, and B. Becker.QEST, page 37-46. IEEE Computer Society, (2010)
Meta data
- BibTeX key
- conf/qest/AbrahamJWKB10
- entry type
- inproceedings
- booktitle
- QEST
- year
- 2010
- pages
- 37-46
- publisher
- IEEE Computer Society
- crossref
- conf/qest/2010
- ee
- https://www.wikidata.org/entity/Q57801415
- isbn
- 978-0-7695-4188-4
- url
- http://dblp.uni-trier.de/db/conf/qest/qest2010.html#AbrahamJWKB10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/qest/AbrahamJWKB10
%A Ábrahám, Erika
%A Jansen, Nils
%A Wimmer, Ralf
%A Katoen, Joost-Pieter
%A Becker, Bernd
%B QEST
%D 2010
%I IEEE Computer Society
%K
%P 37-46
%T DTMC Model Checking by SCC Reduction.
%U http://dblp.uni-trier.de/db/conf/qest/qest2010.html#AbrahamJWKB10
%@ 978-0-7695-4188-4
@inproceedings{conf/qest/AbrahamJWKB10,
added-at = {2023-12-13T10:53:05.000+0100},
author = {Ábrahám, Erika and Jansen, Nils and Wimmer, Ralf and Katoen, Joost-Pieter and Becker, Bernd},
biburl = {https://www.bibsonomy.org/bibtex/2c7d3d3bc8544a1e55020c4af5e3cb995/admin},
booktitle = {QEST},
crossref = {conf/qest/2010},
ee = {https://www.wikidata.org/entity/Q57801415},
interhash = {dbb3eaef17482428382284cd3b47a82e},
intrahash = {c7d3d3bc8544a1e55020c4af5e3cb995},
isbn = {978-0-7695-4188-4},
keywords = {},
pages = {37-46},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T10:53:05.000+0100},
title = {DTMC Model Checking by SCC Reduction.},
url = {http://dblp.uni-trier.de/db/conf/qest/qest2010.html#AbrahamJWKB10},
year = 2010
}