Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research Units
Projects
Research output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
On a Temporal Logic for Object-Based Systems
D.S. Distefano (Keynote speaker)
Activity
:
Talk or presentation
›
Oral presentation
Period
7 Sep 2000
Event title
4th IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000
Event type
Conference
Conference number
4
Location
Stanford, United States, California
Degree of Recognition
International