Event Beta

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004

Name: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004
Location: London

Date: 2004
Place: London, United Kingdom on the map
Series: International Workshop on Automated Verification of Critical Systems (AVoCS)
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10s1m1

Proceedings

Title	DOI	Year	Record
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004 Electronic Notes in Theoretical Computer Science 128		2005	dblp

Sources

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

dblp	`https://dblp.org/db/conf/avocs/avocs2004`

Cite

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004. confref identifier e10s1m1. https://id.confref.org/event/e10s1m1

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.