iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://ieeexplore.ieee.org/document/6148402/
Formal modeling and verification of DLK protocol | IEEE Conference Publication | IEEE Xplore
