Formal Verification of an Asynchronous MAC Layer Protocol in VIS

Cached

Download Links

by Hong Peng , Sofiène Tahar