Event Beta

2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003

Name: 2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003
Location: Boulder

Date: 2003
Place: Boulder, United States on the map
Series: Workshop on Software Model Checking (SoftMC)
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10ty9s

Proceedings

Title	DOI	Year	Record
2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003 Electronic Notes in Theoretical Computer Science 89		2003	dblp

Sources

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

dblp	`https://dblp.org/db/conf/cav/smc2003`

Cite

2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003. confref identifier e10ty9s. https://id.confref.org/event/e10ty9s

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.