Event Beta

10th International Workshop on Formal Methods for Industrial Critical Systems

Name: 10th International Workshop on Formal Methods for Industrial Critical Systems
Start: 2005-09-05
End: 2005-09-06
Location: Lisbon

FMICS 2005FMICS

Date: 2005-09-05/06
Place: Lisbon, Portugal on the map
Series: International Workshop on Formal Methods for Industrial Critical Systems
Edition: 10
Attendance: on site
Status: as scheduled
Website: https://fmics.inria.fr/workshop-10/
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods
Identifier: https://id.confref.org/event/e113m2z

Proceedings

Title	DOI	Year	Record
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005	10.1145/1081180	2005	dblp

Where the sources disagree

start date: confident: 2005-09-05; confref-portal: 2005-01-01

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

Sources

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/fmics2005` · page
ConfIDent	`https://id.confref.org/data/confident/31183` · page
dblp	`https://dblp.org/db/conf/fmics/fmics2005`

Cite

10th International Workshop on Formal Methods for Industrial Critical Systems. confref identifier e113m2z. https://id.confref.org/event/e113m2z

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.