Solution of PDEs for CSRL Model Checking: a Deja Vu

  • L. Cloth (Speaker)

    Activity: Talk or presentation › Oral presentation

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