| Zugehörige Institution(en) am KIT | Institut für Technische Physik (ITEP) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 2014 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230096397 |
| HGF-Programm | 31.30.02 (POF II, LK 01) ITER-Brennstoffkreislauf- Vakuum-Techn. |
| Erscheinungsvermerk | Workshop on Formal and Informal Methods for Correctness and Performance (FIMCP 2014), Guayaquil, EC, June 6, 2014 |