Formal Methods for Protocol Engineering and Distributed Systems - 9781475752700

Jianping Wu - Formal Methods for Protocol Engineering and Distributed - X555z

Formal Methods for Protocol Engineering and Distributed Systems : Forte Xii/P...

Formal Methods for Distributed System Development : #########################...

Bolognesi - Formal Methods for Distributed System Development FORTE - X555z

Formal Methods for Protocol Engineering and Distributed Systems by Jianping Wu

Myungchul Kim - Formal Techniques for Networked and Distributed System - X555z