Truth - a verification platform for concurrent systems, tool support for system specification, development and verification

Authors
Publication date
1 January 1999
Publisher
'Springer Fachmedien Wiesbaden GmbH'

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Publikationsserver der RWTH Aachen University

    redirect
    oaioai:publications.rwth-aachen.d...
    Last time updated on 25/05/2016