Model Checking Birth and Death

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Copenhagen, Denmark
    Period27 Jul 2002
    Event titleTalk at FLOC-Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE): null
    Event typeConference
    LocationCopenhagen, Denmark

    Keywords

    • METIS-209120