DMCA

Wan Fokkink Modelling Distributed Systems Protocol Verification with µCRL (2011)

by Nd Edition , Springer Preface