Model Checking Birth and Death

    Activity: Talk or presentation › Oral presentation

    Period12 Mar 2002
    Event titleDagstuhl Seminar 2002
    Event typeConference
    LocationWadern, GermanyShow on map