Verification of cooperating systems by simple homomorphisms using the product net machine

Authors
Publication date
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Fraunhofer-ePrints

    redirect
    oaioai:fraunhofer.de:N-47730
    Last time updated on 15/11/2016