Specifying timing, probabilistic and stochastic aspects using true concurrency

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Noordwijk aan Zee
    Period17 Sep 1996
    Event titleVoordracht IPA introduction 1996 "Optimization, Coordination and Program Methodology"
    Event typeConference
    LocationNoordwijk aan Zee

    Keywords

    • METIS-121242