Partial-order Models for Timed Extensions of LOTOS

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Pisa, Italy
    Period21 Oct 1996
    Event titleVoordracht Workshop 'Strumenti per la specifica e verifica di proprieta critiche di sistemi concorrenti e distribuiti'
    Event typeConference
    LocationPisa, Italy

    Keywords

    • METIS-121204