thesis

Comparative Studies, Formal Semantics and PVS Encoding of CSP#

Authors
Publication date
15 August 2014
Publisher

Abstract

Ph.DDOCTOR OF PHILOSOPH

    Similar works

    Full text

    thumbnail-image

    Available Versions

    ScholarBank@NUS

    redirect
    oaioai:scholarbank.nus.edu.sg:106...
    Last time updated on 09/11/2016