Event Beta

Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

Name: Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
Start: 1993-03-29
End: 1993-03-31
Location: Sussex

IMPERIAL

Date: 1993-03-29/31
Place: Sussex, United Kingdom on the map
Series: Imperial College Department of Computing Workshops
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e11cfnb

Proceedings

Title	DOI	Year	Record
Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 Workshops in Computing	10.1007/978-1-4471-3503-6	1993	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/imperial1993` · page
dblp	`https://dblp.org/db/conf/imperial/imperial1993`

Cite

Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. confref identifier e11cfnb. https://id.confref.org/event/e11cfnb

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.