![]() | ![]() |
1999 | ||
---|---|---|
4 | Tobias Vesper, Michael Weber: Automatisches verteiltes Rücksetzen. FBT 1999: 252-261 | |
1998 | ||
3 | EE | Ekkart Kindler, Tobias Vesper: ESTL: A Temporal Logic for Events and States. ICATPN 1998: 365-384 |
1996 | ||
2 | Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter: Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385 | |
1995 | ||
1 | EE | 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): 327-328 (1995) |
1 | Jörg Desel | [1] |
2 | Ekkart Kindler | [1] [2] [3] |
3 | Wolfgang Reisig | [2] |
4 | Hagen Völzer | [2] |
5 | Rolf Walter | [1] [2] |
6 | Michael Weber | [4] |