Talks and Poster Presentations (with Proceedings-Entry):
W. Kastner:
"Correctness Proof of a Network Protocol";
Talk: ESREL,
Munich, Germany;
1999-09-13
- 1999-09-17; in: "Safety and Reliability - Proceedings of the 10th European Conference on Safety and Reliability",
(1999),
597
- 602.