| author | wenzelm |
| Fri, 08 Mar 2002 16:24:06 +0100 | |
| changeset 13049 | ce180e5b7fa0 |
| parent 11355 | 778c369559d9 |
| permissions | -rw-r--r-- |
| 11355 | 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 |
} |