Formal Description Techniques for Distributed Systems

C.A. Vissers (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Cairo
    Period2 Oct 1990
    Event titleSecond IEEE workshop on future trends on distributed computing systems
    Event typeWorkshop
    LocationCairo, Egypt

    Keywords

    • METIS-123123