Model Checking

  • K.G. Larsen (Speaker)

    Activity: Talk or presentation › Invited talk

    Description

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