Refusal Testing for Classes of Transition Systems

A.W. Heerink (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period19 Nov 1997
    Event title17th International Symposium on Protocol Specification, Testing, and Verification, PSTV 1997
    Event typeConference
    Conference number17
    LocationOsaka, Japan