Design of the Lotosphere Symbolic Lotos Simulator

P.H.J. van Eijk (Speaker)

    Activity: Talk or presentationOral presentation

    Period8 Nov 1990
    Event titleInternational Conference on Formal Decription Techniques, FORTE 1990
    Event typeConference
    LocationMadrid, Spain