Chanson

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX’99: 28 (IFIP Advances in Information and Communication Technology, 28)

By Jianping Wu, Chanson, Samuel T., Quiang Gao