Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/lics/LaplanteLMPR02
%A Laplante, Sophie
%A Lassaigne, Richard
%A Magniez, Frédéric
%A Peyronnet, Sylvain
%A de Rougemont, Michel
%B LICS
%D 2002
%I IEEE Computer Society
%K dblp
%P 30-39
%T Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.
%U http://dblp.uni-trier.de/db/conf/lics/lics2002.html#LaplanteLMPR02
%@ 0-7695-1483-9
@inproceedings{conf/lics/LaplanteLMPR02,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Laplante, Sophie and Lassaigne, Richard and Magniez, Frédéric and Peyronnet, Sylvain and de Rougemont, Michel},
biburl = {https://www.bibsonomy.org/bibtex/26223d1cc6b7dc3c02a0d96bbfe9f8c0a/dblp},
booktitle = {LICS},
crossref = {conf/lics/2002},
ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029815},
interhash = {35f433282fb8333e7b2ea205da541c1b},
intrahash = {6223d1cc6b7dc3c02a0d96bbfe9f8c0a},
isbn = {0-7695-1483-9},
keywords = {dblp},
pages = {30-39},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T20:01:04.000+0200},
title = {Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2002.html#LaplanteLMPR02},
year = 2002
}