IFIP TC6/WG6.1 Third International Conference on
Formal Methods for Open Object-Based Distributed Systems
Sponsors List (to be completed)
-
Electronic Information
-
Objectives
-
Topics
-
Important Dates
-
Venue:
Stanford University
, Stanford
-
Conference Organizers
-
Program Committee
-
Program at a Glance
-
Submission of Papers
Problems? Contact the
webmaster