Event Beta

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005

Name: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005
Location: Kingdom of the Netherlands

Date: 2005
Place: Kingdom of the Netherlands
Series: International Conference on Integrated Formal Methods
Academic field: Natural sciences: Computer and information sciences
Disciplines: formal methods
Identifier: https://id.confref.org/event/e120j42

Proceedings

Title	DOI	Year	Record
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005 Electronic Notes in Theoretical Computer Science 191		2007	dblp

Sources

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

dblp	`https://dblp.org/db/journals/entcs/entcs191`

Cite

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005. confref identifier e120j42. https://id.confref.org/event/e120j42

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.