Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation

Authors
Publication date
1 January 1993
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    PORTO Publications Open Repository TOrino

    redirect
    oaioai:porto.polito.it:1848209
    Last time updated on 10/07/2013

    PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)

    redirect
    oaioai:iris.polito.it:11583/18482...
    Last time updated on 30/10/2019