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
[2]
Hilfe
Suche: Author="Grumberg, O."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Verifying parameterized networks using abstraction and regular languages
E.M. Clarke
,
O. Grumberg
,
S. Jha
Lecture Notes in Computer Science
962
, 1995, pp. 395-407
Verification tools for finite-state concurrent systems
E. Clarke
,
O. Grumberg
,
D. Long
Lecture Notes in Computer Science
803
, 1994, pp. 124-175
Program composition and modular verification
L. Fix
,
N. Francez
,
O. Grumberg
Lecture Notes in Computer Science
510
, 1991, pp. 93-114
Reasoning about networks with many identical finite state processes
M.C. Browne
,
E.M. Clarke
,
O. Grumberg
Information and Computation
81
(1), 1989, pp. 13-31
A complete rule for equifair termination
O. Grumberg
,
N. Francez
,
S. Katz
Journal of Computer and System Sciences
33
(3), 1986, December, pp. 313-332
A proof rule for fair termination of guarded commands
O. Grumberg
,
N. Francez
,
J.A. Makowsky
,
W.P. de Roever
Information and Control
66
(1-2), 1985, pp. 83-102