Model Checking

K.G. Larsen (Speaker)

    Activity: Talk or presentationInvited talk

    Description

    Invited lecture at Mathematical Foundation of Programming Semantics
    Period24 May 2001
    Held atAarhus University, Denmark