Event Beta

Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002

Name: Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002
Location: Brno

Date: 2002
Place: Brno, Czech Republic on the map
Series: International Workshop on Parallel and Distributed Methods in Verification (PDMC)
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10xa97

Proceedings

Title	DOI	Year	Record
Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002 Electronic Notes in Theoretical Computer Science 68		2002	dblp

Sources

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

dblp	`https://dblp.org/db/conf/concur/pdmc2002`

Cite

Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. confref identifier e10xa97. https://id.confref.org/event/e10xa97

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.