Model Checking

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Enschede
    Period15 Jun 1999
    Event titleVoordracht IPA school Formele Methoden: null
    Event typeConference
    LocationEnschede

    Keywords

    • METIS-121441