Formal Methods for Protocol Engineering and Distributed Systems Forte XII / PSTV XIX’99 Jianping Wu Innbundet / 1999 / Engelsk
Formal Methods for Protocol Engineering and Distributed Systems Forte XII / PSTV XIX’99 Jianping Wu Heftet / 2013 / Engelsk
