Design of the Lotosphere Symbolic Lotos Simulator

P.H.J. van Eijk (Speaker)

    Activity: Talk or presentationOral presentation

    Period8 Nov 1990
    Event titleIFIP TC/WG6.1 3rd International Conference on Formal Description Techniques for Distributed and Communication Protocols, FORTE 1990
    Event typeConference
    Conference number3
    LocationMadrid, Spain
    Degree of RecognitionInternational