Event Beta

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005

Name: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005
Location: San Francisco

Date: 2005
Place: San Francisco, United States on the map
Series: International Workshop on Verification of Infinite-State Systems (INFINITY)
Edition: 7
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11cmbv

Proceedings

Title	DOI	Year	Record
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005 Electronic Notes in Theoretical Computer Science 149		2006	dblp

Sources

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

dblp	`https://dblp.org/db/conf/infinity/infinity2005`

Cite

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005. confref identifier e11cmbv. https://id.confref.org/event/e11cmbv

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.