Model Checking Birth and Death

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Freiburg, Germany
    Period9 Oct 2002
    Event titleTalk Colloquium at the University of Freiburg
    Event typeConference
    LocationFreiburg, Germany

    Keywords

    • METIS-209122