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="Delporte-Gallet, C."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Stabilizing leader election in partial synchronous systems with crash failures
C. Delporte-Gallet
,
S. Devismes
,
H. Fauconnier
Journal Parallel Distributed Computing
70
(1), 2010, pp. 45-58
Syntax directed analysis of liveness properties of while programs
K.R. Apt
,
C. Delporte-Gallet
Information and Control
68
(1-3), 1986, pp. 223-253