Partial order models, refinement and database transactions

W.P.M. Janssen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Eindhoven
    Period25 Jun 1990
    Held atEindhoven University of Technology, Netherlands

    Keywords

    • METIS-123607