Shamim Ripon, Michael J. Butler. PVS Embedding of cCSP Semantic Models and Their Relationship. Electronic Notes in Theoretical Computer Science, 250(2):103-118, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.