The Application of Promela and SPIN in the BOS Project

  • W.T.M. Kars (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period5 Aug 1996
    Event title2nd SPIN Workshop 1996
    Event typeConference
    LocationNew Brunswick, United States, New JerseyShow on map
    Degree of RecognitionInternational