|
Search the dblp DataBase
Tobias Vesper:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter
Distributed Algorithms for Networks of Agents. [Citation Graph (0, 0)][DBLP] Petri Nets (2), 1996, pp:331-385 [Conf]
- Ekkart Kindler, Tobias Vesper
ESTL: A Temporal Logic for Events and States. [Citation Graph (0, 0)][DBLP] ICATPN, 1998, pp:365-384 [Conf]
- Tobias Vesper, Michael Weber
Automatisches verteiltes Rücksetzen. [Citation Graph (0, 0)][DBLP] FBT, 1999, pp:252-261 [Conf]
- Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1995, v:54, n:6, pp:327-328 [Journal]
Search in 0.001secs, Finished in 0.001secs
|