Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks

Authors
Publication date
1 January 1996
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Fraunhofer-ePrints

    redirect
    oaioai:fraunhofer.de:960725
    Last time updated on 15/11/2016

    Southampton (e-Prints Soton)

    redirect
    oaioai:eprints.soton.ac.uk:250582
    Last time updated on 05/04/2012