Formal Methods for Protocol Engineering and Distributed SystemsJianping Jianping Wu, Samuel T. Chanson, Quiang Quiang Gao · First published 2013Open the Tome
