thesis

Sub-sampling and weighting approaches to model checking

Authors
Publication date
5 October 2003
Publisher

Abstract

Master'sMASTER OF SCIENC

    Similar works

    Full text

    thumbnail-image

    Available Versions

    ScholarBank@NUS

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