Model Checking Birth and Death

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Augsburg, Germany
    Period23 May 2002
    Event titleVoordracht in colloquium
    Event typeConference
    LocationAugsburg, Germany

    Keywords

    • METIS-208535