Formal Methods for Protocol Engineering and Distributed Systems
-
inbunden
,
Engelska, 1999