Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

Specification and Refinement with Joint Action : The Dagstuh Example

  • Reino Kurki-Suonio (Speaker)

    Aktiviteetti: Konferenssiesitelmä

    Aikajakso1994
    Tapahtuman otsikkoDagstuhl Seminar on Specification and Refimenent of Reactives Systems, September
    Tapahtuman tyyppiConference

    Country of activity

    • Yhdysvallat (USA)

    Publication forum classification

    • Ei tasoa