Specification and Refinement with Joint Action : The Dagstuh Example

  • Reino Kurki-Suonio (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period1994
    Event titleDagstuhl Seminar on Specification and Refimenent of Reactives Systems, September
    Event typeConference

    Country of activity

    • United States

    Publication forum classification

    • No publication forum level