Formal Methods for Protocol Engineering and Distributed Systems by Jianping Wu

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

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

Formal Techniques for Networked and Distributed Systems - 9781475788259

Formal Methods for Embedded Distributed Systems: How to Master the Complexity

Formal Methods for Distributed Processing - 9780521771849

Formal Methods for Open Object-Based Distributed Systems - 9781475752663