Event Beta

International School on Formal Methods for the Design of Computer, Communication and Software Systems

Name: International School on Formal Methods for the Design of Computer, Communication and Software Systems
Start: 2010-06-21
End: 2010-06-26
Location: Bertinoro

SFM

Date: 2010-06-21/26
Place: Bertinoro, Italy on the map
Series: International School on Formal Methods for the Design of Computer, Communication and Software Systems
Edition: 10
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e107tys

Proceedings

Title	DOI	Year	Record
Formal Methods for Quantitative Aspects of Programming Languages LNCS 6154	10.1007/978-3-642-13678-8	2010	Springer
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures Lecture Notes in Computer Science 6154	10.1007/978-3-642-13678-8	2010	dblp

Sources

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/sfm2010`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/sfm2010` · page
dblp	`https://dblp.org/db/conf/sfm/sfm2010`

Cite

International School on Formal Methods for the Design of Computer, Communication and Software Systems. confref identifier e107tys. https://id.confref.org/event/e107tys

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.