Event Beta

International Conference on Formal Techniques for Networked and Distributed Systems

Name: International Conference on Formal Techniques for Networked and Distributed Systems
Start: 2001-08-28
End: 2001-08-31
Location: Jeju Island

FORTE

Date: 2001-08-28/31
Place: Jeju Island, South Korea on the map
Series: IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Edition: 21
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e103dxg

Proceedings

Title	DOI	Year	Record
Formal Techniques for Networked and Distributed Systems IFIP-AICT 69	10.1007/b116730	2001	Springer
Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea IFIP Conference Proceedings 197		2001	dblp

Sources

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/forte2001`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/forte2001` · page
dblp	`https://dblp.org/db/conf/forte/forte2001`
GND	`https://d-nb.info/gnd/1304323-7`

Cite

International Conference on Formal Techniques for Networked and Distributed Systems. confref identifier e103dxg. https://id.confref.org/event/e103dxg

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.