The Application of Promela and SPIN in the BOS Project

W.T.M. Kars (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Rutgers University New Jersey
    Period5 Aug 1996
    Event titleVoordracht, 2nd SPIN Workshop
    Event typeConference
    LocationRutgers University New Jersey

    Keywords

    • METIS-121200