A formal approach to testing concurrent systems

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Montreal
    Period9 Feb 1991
    Event titleINRS-Telecommunications, Cyrille Duquet Workshop (invited)
    Event typeConference
    LocationMontreal

    Keywords

    • METIS-123654