Modal logic for handling behavioural constraints in formal hardware verification

Authors
Publication date
1 January 1992
Publisher
The University of Edinburgh

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Forschungsinformationssystem der Universität Bamberg

    redirect
    oaioai:fis.uni-bamberg.de:uniba/5...
    Last time updated on 27/09/2024

    OPUS - Publikationsserver der Universität Bamberg

    redirect
    oaioai:kobv.de-opus4-uni-bamberg:...
    Last time updated on 20/08/2018

    Edinburgh Research Archive

    redirect
    oaioai:era.ed.ac.uk:1842/15374
    Last time updated on 07/06/2021