Event Beta
International Conference on Formal Methods for Open Object-Based Distributed Systems
FMOODS
- Date
- 2000-09-06/08
- Place
- Stanford University, United States on the map
- Series
- International Conference on Formal Methods for Open Object-Based Distributed Systems
- Edition
- 4
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e103cdj
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Formal Methods for Open Object-Based Distributed Systems IV IFIP-AICT 49 | 10.1007/978-0-387-35520-7 | 2000 | Springer |
| Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA IFIP Conference Proceedings 177 | 2000 | dblp |
Where the sources disagree
- start date: springer-lod: 2000-09-06; confref-portal: 2000-01-01
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| dblp |
Cite
International Conference on Formal Methods for Open Object-Based Distributed Systems. confref identifier e103cdj. https://id.confref.org/event/e103cdj
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.