Model Checking Birth and Death

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Period12 Mar 2002
    Event titleDagstuhl Seminar 2002: null
    Event typeConference
    LocationWadern, Germany