changeset 15871 | e524119dbf19 |
parent 15870 | 4320bce5873f |
child 15872 | 8336ff711d80 |
15870:4320bce5873f | 15871:e524119dbf19 |
---|---|
1 |
|
2 @Misc{McMillan-LectureNotes, |
|
3 author = {Ken McMillan}, |
|
4 title = {Lecture notes on verification of digital and hybrid systems}, |
|
5 note = {{NATO} summer school, \url{http://www-cad.eecs.berkeley.edu/~kenmcmil/tutorial/toc.html}} |
|
6 } |
|
7 |
|
8 @PhdThesis{McMillan-PhDThesis, |
|
9 author = {Ken McMillan}, |
|
10 title = {Symbolic Model Checking: an approach to the state explosion problem}, |
|
11 school = {Carnegie Mellon University}, |
|
12 year = 1992 |
|
13 } |