Constraint-oriented specification in a constructive formal description technique

E. Brinksma

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    Original languageEnglish
    Title of host publicationStepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989)
    EditorsJ.W. Bakker, de, W.P. Roever, de, G. Rozenberg
    PublisherSpringer
    Pages130-152
    ISBN (Print)3-540-52559-9
    DOIs
    Publication statusPublished - 1990

    Publication series

    NameLecture Notes in Computer Science
    Volume430
    ISSN (Print)0302-9743

    Cite this