Tobias Vesper

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Humboldt University of Berlin, Unter den Linden, Germany (PHD)

Education History

Humboldt University of Berlin, Unter den Linden, Germany

PHD

Publications

Tobias Vesper, Michael Weber
Automatisches verteiltes Rücksetzen. FBT (1999)
Ekkart Kindler, Tobias Vesper
ESTL: A Temporal Logic for Events and States. ICATPN (1998)
Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter
Distributed Algorithms for Networks of Agents. Petri Nets (2) (1996)
Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. Inf. Process. Lett. 54 (6) (1995)