|
77036
|
1 |
@InProceedings{Avigad-Donnelly,
|
|
|
2 |
author = {Jeremy Avigad and Kevin Donnelly},
|
|
|
3 |
title = {Formalizing {O} notation in {Isabelle/HOL}},
|
|
|
4 |
booktitle = {Automated Reasoning: second international conference, IJCAR 2004},
|
|
|
5 |
pages = {357--371},
|
|
|
6 |
year = 2004,
|
|
|
7 |
editor = {David Basin and Micha\"el Rusiowitch},
|
|
|
8 |
publisher = {Springer}
|
|
|
9 |
}
|
|
|
10 |
|
|
|
11 |
@PhdThesis{McMillan-PhDThesis,
|
|
|
12 |
author = {Kenneth McMillan},
|
|
|
13 |
title = {Symbolic Model Checking --- An Approach to the State Explosion Problem},
|
|
|
14 |
school = {Carnegie Mellon University},
|
|
|
15 |
year = {1992},
|
|
|
16 |
month = {May},
|
|
|
17 |
url = {\url{http://mcmil.net/pubs/thesis.pdf}},
|
|
|
18 |
}
|