Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="McMillan, K.L."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An interpolating theorem prover
K.L. McMillan
Theoretical Computer Science
345
(1), 2005, pp. 101-121
Proof rules for model checking systems with data
K.L. McMillan
Lecture Notes in Computer Science
1530
, 1998, pp. 270-270
A structural induction theorem for processes
R.P. Kurshan
,
K.L. McMillan
Information and Computation
117
(1), 1995, February, pp. 1-11
Symbolic model checking:
10^{20}
states and beyond
J.R. Burch
,
E.M. Clarke
,
K.L. McMillan
,
D.L. Dill
,
L.J. Hwang
Information and Computation
98
(2), 1992, June, pp. 142-170