Record Beta
Formal Methods for Open Object-Based Distributed Systems
https://id.confref.org/data/confref-portal/event/fmoods2010
This record is part of the confref event Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings.
| rdf:type | portal:Conference |
|---|---|
| schema:location | Kingdom of the Netherlands (wd:Q29999) |
| rdfs:label | Formal Methods for Open Object-Based Distributed Systems |
| portal:acronym | FMOODS |
| portal:area | https://id.confref.org/data/confref-portal/area/2 |
| portal:city | Amsterdam |
| portal:country | The Netherlands |
| portal:endDate | 2010-06-09 |
| portal:name | Formal Methods for Open Object-Based Distributed Systems |
| portal:portalPage | http://portal.confref.org/list/fmoods2010 |
| portal:series | https://id.confref.org/data/confref-portal/series/fmoods |
| portal:startDate | 2010-06-07 |
| portal:submissionExtended | false |
| portal:year | 2010 |
| cr:discipline | computer science (wd:Q21198) |
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
| cr:sameAs | wd:Q106067996 |
| cr:sameAs | https://dblp.org/db/conf/forte/forte2010 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.