@inproceedings{5f939c85c8af4e87877e23977c0ed57e,
title = "Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet",
author = "K. Karsisto and A. Valmari",
note = "Contribution: organisation=ohj,FACT1=1",
year = "1996",
language = "English",
pages = "228--245",
booktitle = "In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium Uppsala, Sweden, September 1996 Proceedings. Lecture notes in computer science",
publisher = "Springer Verlag",
address = "Germany",
}