Event Beta
International Conference on Formal Techniques for Networked and Distributed Systems
FORTE
- Date
- 2004-09-27 to 2004-10-02
- Place
- Madrid, Spain on the map
- Series
- IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- Edition
- 24
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e103e0a
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Applying Formal Methods: Testing, Performance, and M/E-Commerce LNCS 3236 | 10.1007/b100825 | 2004 | Springer |
| Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings Lecture Notes in Computer Science 3235 | 10.1007/b100576 | 2004 | dblp |
| Formal Techniques for Networked and Distributed Systems – FORTE 2004 LNCS 3235 | 10.1007/b100576 | 2004 | Springer |
Where the sources disagree
- start date: springer-lod: 2004-09-27; confref-portal: 2004-09-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).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| dblp | |
| GND |
Cite
International Conference on Formal Techniques for Networked and Distributed Systems. confref identifier e103e0a. https://id.confref.org/event/e103e0a
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.