On a Temporal Logic for Object-Based Systems

D.S. Distefano (Keynote speaker)

    Activity: Talk or presentation › Oral presentation

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