@INPROCEEDINGS{csma-cd,
author = {Mohamed Jmaiel},
title = {An Algebraic-Temporal Specification of a CSMA/CD-Protocol},
booktitle = {Proceedings of the IFIP WG 6.1 Fifteenth International
Symposium on Protocol Specification, Testing and
Verification},
year = {1995},
address = {Warsaw, Poland},
month = {June},
publisher = {Chapman and Hall},
owner = {mohamed},
timestamp = {2009.11.03}
}