![](/img/cover-not-exists.png)
A method for specifying, implementing, and verifying media access control protocols
Brooks, C.A., Cieslak, R., Varaiya, P.Volume:
10
Year:
1990
Language:
english
Pages:
8
DOI:
10.1109/37.56282
File:
PDF, 848 KB
english, 1990