Decomposition of functionality: a correctness-preserving LOTOS transformation

Langerak, R. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Ottawa, Ontario, Canada
    Period12 Jun 1990
    Event titleIFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990: null
    Event typeConference
    Conference number10
    LocationOttawa, Canada, Ontario

    Keywords

    • METIS-123140