Event Beta

2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003

Name: 2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003
Location: Boulder

Date: 2003
Place: Boulder, United States on the map
Series: International Workshop on Parallel and Distributed Methods in Verification (PDMC)
Edition: 2
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11n9k2

Proceedings

Title	DOI	Year	Record
2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 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/pdmc/pdmc2003`

Cite

2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003. confref identifier e11n9k2. https://id.confref.org/event/e11n9k2

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.