1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
@book{BK,
title={Principles of Model Checking},
author={Baier, Christel and Katoen, Joost-Pieter},
publisher={The MIT Press},
address={Cambridge, Massachusetts and London, England},
year=2008
}
@article{Bartocci2011,
title={Model Repair for Probabilistic Systems},
author={Bartocci, Ezio and Grosu, Radu and Katsaros, Panagiotis and Ramakrishnan, C. R. and Smolka, Scott A.},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2011},
editor={Abdulla, P. A. and Leino, K. R. M.},
series={Lecture Notes in Computer Science},
number=6605,
publisher={Springer},
address={Berlin and Heidelberg},
year=2011,
pages={326--340}
}
@inbook{KY76,
author={Knuth, Donald E. and Yao, Andrew C.},
title={Algorithms and Complexity: New Directions and Recent Results},
chapter={The complexity of nonuniform random number generation},
publisher={Academic Press},
year=1976
}
|
