Event Beta
8th International Workshop on Formal Methods for Industrial Critical Systems
FMICS 2003FMICS
- Date
- 2003-06-05/07
- Place
- Trondheim, Norway on the map
- Series
- International Workshop on Formal Methods for Industrial Critical Systems
- Edition
- 8
- Attendance
- on site
- Status
- as scheduled
- Website
- https://fmics.inria.fr/workshop-8/
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, formal methods
- Identifier
https://id.confref.org/event/e120q21
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003 Electronic Notes in Theoretical Computer Science 80 | 2003 | dblp |
Where the sources disagree
- place: confident: Q25804; dblp: Q108999; confref-portal: Q25804
- start date: confident: 2003-06-05; confref-portal: 2003-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) | |
|---|---|
| ConfIDent | |
| dblp |
Cite
8th International Workshop on Formal Methods for Industrial Critical Systems. confref identifier e120q21. https://id.confref.org/event/e120q21
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.