Event Beta

Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Name: Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Start: 2009-06-09
End: 2009-06-12
Location: Lisbon

FORTE

Date: 2009-06-09/12
Place: Lisbon, Portugal on the map
Series: International Conference on Formal Methods for Open Object-Based Distributed Systems, IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e113t6h

Proceedings

Title	DOI	Year	Record
Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings Lecture Notes in Computer Science 5522	10.1007/978-3-642-02138-1	2009	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/forte2009` · page
dblp	`https://dblp.org/db/conf/forte/forte2009`

Cite

Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. confref identifier e113t6h. https://id.confref.org/event/e113t6h

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.