Conference series Beta
Formal Methods for Security and Time (MEFISTO)
- Events
- 1 (2003)
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/series/s122zex
Events (1)
20032003
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2003 | Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003 | Pisa |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Formal Methods for Security and Time (MEFISTO). confref identifier s122zex. https://id.confref.org/series/s122zex
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.