The General Product Machine: a New Model for Symbolic FSM Traversal

Authors
Publication date
Publisher

Abstract

FORMAL METHODS IN SYSTEM DESIGN, KLUWE

    Similar works

    Full text

    thumbnail-image

    Available Versions

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

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