Constraint-oriented specification in a constructive formal description technique

E. Brinksma

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)
    Originele taal-2Engels
    TitelStepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)
    RedacteurenJ.W. Bakker, de, W.P. Roever, de, G. Rozenberg
    UitgeverijSpringer
    Pagina's130-152
    ISBN van geprinte versie3-540-52559-9
    DOI's
    StatusGepubliceerd - 1990

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume430
    ISSN van geprinte versie0302-9743

    Citeer dit