Amanote Research
Register
Sign In
Formal Verification of Netlog Protocols
doi 10.1109/tase.2012.19
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2012
Authors
Meixian Chen
Jean-Francois Monin
Publisher
IEEE