Inproceedings,
sfPFL: A Probabilistic Logic for Fault Trees.
S. Nicoletti, M. Lopuhaä-Zwakenberg, E. Hahn, and M. Stoelinga.FM, volume 14000 of Lecture Notes in Computer Science, page 199-221. Springer, (2023)
Meta data
- BibTeX key
- conf/fm/NicolettiLHS23
- entry type
- inproceedings
- booktitle
- FM
- year
- 2023
- pages
- 199-221
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 14000
- crossref
- conf/fm/2023
- ee
- https://doi.org/10.1007/978-3-031-27481-7_13
- isbn
- 978-3-031-27481-7
- url
- http://dblp.uni-trier.de/db/conf/fm/fm2023.html#NicolettiLHS23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fm/NicolettiLHS23
%A Nicoletti, Stefano M.
%A Lopuhaä-Zwakenberg, Milan
%A Hahn, Ernst Moritz
%A Stoelinga, Mariëlle
%B FM
%D 2023
%E Chechik, Marsha
%E Katoen, Joost-Pieter
%E Leucker, Martin
%I Springer
%K dblp
%P 199-221
%T sfPFL: A Probabilistic Logic for Fault Trees.
%U http://dblp.uni-trier.de/db/conf/fm/fm2023.html#NicolettiLHS23
%V 14000
%@ 978-3-031-27481-7
@inproceedings{conf/fm/NicolettiLHS23,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Nicoletti, Stefano M. and Lopuhaä-Zwakenberg, Milan and Hahn, Ernst Moritz and Stoelinga, Mariëlle},
biburl = {https://www.bibsonomy.org/bibtex/2516cb002293d5c553b80b7e93d4f6a5e/dblp},
booktitle = {FM},
crossref = {conf/fm/2023},
editor = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker, Martin},
ee = {https://doi.org/10.1007/978-3-031-27481-7_13},
interhash = {45e8840d03373041f262a24a52212b56},
intrahash = {516cb002293d5c553b80b7e93d4f6a5e},
isbn = {978-3-031-27481-7},
keywords = {dblp},
pages = {199-221},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T13:22:28.000+0200},
title = {sfPFL: A Probabilistic Logic for Fault Trees.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2023.html#NicolettiLHS23},
volume = 14000,
year = 2023
}