Solution of PDEs for CSRL Model Checking: a Deja Vu

L. Cloth (Speaker)

    Activity: Talk or presentationOral presentation

    Period11 Nov 2003
    Event titleVOSS Meeting Bonn 2003
    Event typeConference
    LocationBonn, Germany, North Rhine-Westphalia
    Degree of RecognitionInternational