Event Beta
9th International Workshop on Formal Methods for Industrial Critical Systems
FMICS 2004FMICS
- Date
- 2004-09-20/21
- Place
- Linz, Austria on the map
- Series
- International Workshop on Formal Methods for Industrial Critical Systems
- Edition
- 9
- Attendance
- on site
- Status
- as scheduled
- Website
- https://fmics.inria.fr/workshop-9/
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, formal methods
- Identifier
https://id.confref.org/event/e120h0b
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004 Electronic Notes in Theoretical Computer Science 133 | 2005 | dblp |
Where the sources disagree
- start date: confident: 2004-09-20; confref-portal: 2004-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
9th International Workshop on Formal Methods for Industrial Critical Systems. confref identifier e120h0b. https://id.confref.org/event/e120h0b
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.