Event Beta

Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003

Name: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003
Location: France

Date: 2003
Place: France
Series: International Workshop on Verification of Infinite-State Systems (INFINITY)
Edition: 5
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e120qf7

Proceedings

Title	DOI	Year	Record
Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003 Electronic Notes in Theoretical Computer Science 98		2004	dblp

Sources

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

dblp	`https://dblp.org/db/journals/entcs/entcs98`

Cite

Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003. confref identifier e120qf7. https://id.confref.org/event/e120qf7

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.