On a Temporal Logic for Object-Based Systems

D.S. Distefano (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period7 Sep 2000
    Event title4th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000
    Event typeConference
    Conference number4
    LocationStanford, United States, California
    Degree of RecognitionInternational