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
[1]
Hilfe
Suche: Author="Dill, D."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verification of cache coherence protocols by aggregation of distributed transactions
S. Park
,
D.L. Dill
Theory of Computing Systems
31
(4), 1998, pp. 355-376
Hierarchical models of synchronous circuits
D. Dill
Lecture Notes in Computer Science
836
, 1994, pp. 161
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
Model-checking for probabilistic real-time systems
R. Alur
,
C. Courcoubetis
,
D. Dill
Lecture Notes in Computer Science
510
, 1991, pp. 115-126