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

Formal Description Techniques and Protocol Specification, Testing and Verific...

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

Formal Methods for Protocol Engineering and Distributed Systems (English) Paperb

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

Formal Methods for Protocol Engineering and Distributed Syste... - 9781475752700

Formal Methods for Protocol Engineering and Distributed Systems by Jianping Wu

Formal Techniques for Networked and Distributed Systems: FORTE 2001 by Myungchul