commit ed74fd73a3cfb06322f2e883ac327f28e0e3543e
parent a5515b56aaab11aa1d80a13a07cddbbdc5e66b04
Author: Nils Gillmann <ng0@n0.is>
Date: Sun, 7 Oct 2018 17:49:01 +0000
Fix up one bibtex entry.
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat:
1 file changed, 15 insertions(+), 8 deletions(-)
diff --git a/gnunetbib.bib b/gnunetbib.bib
@@ -15931,14 +15931,21 @@ Elliptic Curve Public Key Cryptosystems is a valuable reference resource for res
www_pdf_url = {https://gnunet.org/git/bibliography.git/tree/docs/10.1.1.53.7112.pdf},
author = {Jochen Liedtke}
}
-@conference {1993_2,
- title = {SURF-2: A program for dependability evaluation of complex hardware and software systems},
- year = {1993},
- abstract = {SURF-2, a software tool for evaluating system dependability, is described. It is especially designed for an evaluation-based system design approach in which multiple design solutions need to be compared from the dependability viewpoint. System behavior may be modeled either by Markov chains or by generalized stochastic Petri nets. The tool supports the evaluation of different measures of dependability, including pointwise measures, asymptotic measures, mean sojourn times and, by superposing a reward structure on the behavior model, reward measures such as expected performance or cost},
- isbn = {0-8186-3680-7 },
- doi = {10.1109/FTCS.1993.627372 },
- www_section = {http://www.pubzone.org/dblp/conf/ftcs/BeoumesKALAMBS93}
-}
+@inproceedings{627372,
+ author = {C. Beounes and M. Aguera and J. Arlat and S. Bachmann and C. Bourdeau and J. -. Doucet and K. Kanoun and J. -. Laprie and S. Metge and J. Moreira de Souza and D. Powell and P. Spiesser},
+ booktitle = {Proceedings of FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing},
+ title = {SURF-2: A program for dependability evaluation of complex hardware and software systems},
+ year = {1993},
+ volume = {},
+ number = {},
+ pages = {668--673},
+ abstract = {SURF-2, a software tool for evaluating system dependability, is described. It is especially designed for an evaluation-based system design approach in which multiple design solutions need to be compared from the dependability viewpoint. System behavior may be modeled either by Markov chains or by generalized stochastic Petri nets. The tool supports the evaluation of different measures of dependability, including pointwise measures, asymptotic measures, mean sojourn times and, by superposing a reward structure on the behavior model, reward measures such as expected performance or cost},
+ keywords = {software reliability;system behaviour;SURF-2;dependability evaluation;complex hardware and software systems;software tool;system dependability;evaluation-based system design approach;multiple design solutions;Markov chains;generalized stochastic Petri nets;measures of dependability;pointwise measures;asymptotic measures;mean sojourn times;reward structure;reward measures;performance;Hardware;Software systems;Stochastic systems;Petri nets;Software tools;Process design;Stochastic processes;Humans;Costs;Performance evaluation},
+ doi = {10.1109/FTCS.1993.627372},
+ ISSN = {0731-3071},
+ isbn = {0-8186-3680-7},
+ www_section = {https://ieeexplore.ieee.org/document/627372/authors#authors},
+ month={June},}
@conference {DBLP:conf/eurocrypt/ChaumP92,
title = {Transferred Cash Grows in Size},
booktitle = {EUROCRYPT{\textquoteright}92 Workshop on the Theory and Application of of Cryptographic Techniques},
