Event Beta

Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001

Name: Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001
Location: Paris

Date: 2001
Place: Paris, France on the map
Series: Workshop on Software Model Checking (SoftMC)
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10ty8v

Proceedings

Title	DOI	Year	Record
Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001 Electronic Notes in Theoretical Computer Science 55		2001	dblp

Sources

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

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

Cite

Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001. confref identifier e10ty8v. https://id.confref.org/event/e10ty8v

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.