Event Beta

Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Date: 2023
Series: Festschriften
Edition: 65
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10sryp

Proceedings

Title	DOI	Year	Record
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday Lecture Notes in Computer Science 14165	10.1007/978-3-031-40132-9	2023	dblp

Sources

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

dblp	`https://dblp.org/db/conf/birthday/Peleska2023`

Cite

Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. confref identifier e10sryp. https://id.confref.org/event/e10sryp

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.