Model Checking Birth and Death

Rensink, A. (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Brno, Czeck Republic
    Period24 Aug 2002
    Event titlePresentation for Infinity 2002
    Event typeConference
    LocationBrno, Czeck Republic

    Keywords

    • METIS-208538