(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 30
Anonymous:2012:BMa
[25] Anonymous. Back matter. Lecture Notes in Computer Science, 7200:
??, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/content/pdf/bbm:978-3-
642-31739-2/1.
Anonymous:2012:FMe
[26] Anonymous. Front matter. Lecture Notes in Computer Science, 7200:
??, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/content/pdf/bfm:978-3-
642-31739-2/1.
Daduna:2012:ALN
[27] Hans Daduna and Lars Peter Saul. Availability in large networks:
Global characteristics from local unreliability properties. Lecture Notes
in Computer Science, 7201:1–15, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-28540-0_1/.
Zhang:2012:SAF
[28] Feng Zhang and Jinting Wang. Stochastic analysis of a finite source retrial
queue with spares and orbit search. Lecture Notes in Computer Science,
7201:16–30, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28540-0_2/.
Le:2012:BTT
[29] Minh Lê and Max Walter. Bounds for two-terminal network reliability
with dependent basic events. Lecture Notes in Computer Science,
7201:31–45, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28540-0_3/.
Meitner:2012:SRT
[30] Matthias Meitner and Francesca Saglietti. Software reliability testing covering
subsystem interactions. Lecture Notes in Computer Science, 7201:
46–60, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28540-0_4/.
Hofig:2012:FDT
[31] Kai Höfig. Failure-dependent timing analysis — a new methodology
for probabilistic worst-case execution time analysis. Lecture Notes in