Fingerprint
Untersuchen Sie die Forschungsthemen von „Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
Cornelius Diekmann, Andreas Korsten, Georg Carle
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung