QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS

Authors
Publication date
4 August 2017
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/07/2019