diff options
| author | Camil Staps | 2018-07-05 14:55:01 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-05 14:55:01 +0200 |
| commit | 9044d3dfce7de28de6a996f22ffbe8ff69e236b7 (patch) | |
| tree | 69049481dee9056955f5ddb71bab4506e362f3b1 /Assignment2/report | |
| parent | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking (diff) | |
New DTMC structure
Diffstat (limited to 'Assignment2/report')
| -rw-r--r-- | Assignment2/report/library.bib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment2/report/library.bib b/Assignment2/report/library.bib index 36ef4c2..dab46d6 100644 --- a/Assignment2/report/library.bib +++ b/Assignment2/report/library.bib @@ -19,7 +19,7 @@ pages={326--340} } -@inbook{KY76, +@inbook{KnuthYao1976, 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}, |