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="Vesper, Tobias"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
ESTL: A temporal logic for events and states
Ekkart Kindler
,
Tobias Vesper
Lecture Notes in Computer Science
1420
, 1998, pp. 365-384
Structuring with distributed algorithms
Tobias Vesper
,
Michael Weber
Workshop on Concurrency, Specification and Programming, CS&P (Berlin, Germany, September 28-30, 1998 (110), 1998, pp. 268-276
A simplified proof for a self-stabilizing protocol: A game of cards
Jörg Desel
,
Ekkart Kindler
,
Tobias Vesper
,
Rolf Walter
Information Processing Letters
54
, 1995, pp. 327-328