Formal Methods for Protocol Engineering and Distributed Systems by Jianping Wu

Formal Methods for Distributed System Development by Tommaso Bolognesi (English)

Formal Methods for Protocol Engineering and Distributed Systems - 9781475752700

Methods, Models and Tools for Fault Tolerance by Michael Butler (English) Paperb

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

Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd I...

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PST