Stepwise refinement of distributed systems : models, formalisms, correctness : Rex workshop, Mook ,The Netherlands, May 29 - June 2, 1989 : proceedings

Authors
    Publication date
    1 January 1990
    Publisher
    Springer
    Doi

      Abstract

      Abstract is not available.

        Similar works

        Full text

        thumbnail-image

        Available Versions

        Pure OAI Repository

        redirect
        oaioai:pure.tue.nl:openaire_cris_...
        Last time updated on 11/08/2023