Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet

K. Karsisto; A. Valmari

Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet

K. Karsisto, A. Valmari

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

1 Citation (Scopus)

Translated title of the contribution	Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet
Original language	English
Title of host publication	In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium Uppsala, Sweden, September 1996 Proceedings. Lecture notes in computer science
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	228-245
Publication status	Published - 1996
Publication type	B3 Article in conference proceedings

Publication forum classification

Publication forum level 1

Cite this

@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",

}

Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. / Karsisto, K.; Valmari, A.
In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium Uppsala, Sweden, September 1996 Proceedings. Lecture notes in computer science. Berlin: Springer Verlag, 1996. p. 228-245.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

TY - GEN

T1 - Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet

AU - Karsisto, K.

AU - Valmari, A.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1996

Y1 - 1996

M3 - Conference contribution

SP - 228

EP - 245

BT - In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium Uppsala, Sweden, September 1996 Proceedings. Lecture notes in computer science

PB - Springer Verlag

CY - Berlin

ER -