E-mail senden
E-Mail Adresse kopieren
⬤
EN
DE
(current)
Back to previous menu level
Menu
Home
Forschung
Übersicht
Algorithmische Grundlagen und Kryptographie
Vertrauenswürdige Informationsverarbeitung
Verlässliche Sicherheitsgarantien
Erkennung und Vermeidung von Cyberangriffen
Sichere vernetzte und mobile Systeme
Empirische und verhaltensorientierte Sicherheit
Publikationen
Projekte und Kooperationen
Auszeichnungen
Über uns
Übersicht
Organisation
Die Medienseite des Direktors
Ausschreibungen/Veröffentlichungen
rechnungsstellung/xrechnung
Personen
Karriere
Übersicht
FAQ
Job Openings
News & Events
Übersicht
Podcast
zine
Glossar
Presse
Videos
No Coffee, No Research
Display
Technologietransfer
Übersicht
Startups und Entrepreneurship
Product Labs
Kontakt
Wissenstransfer
Übersicht
Cysec Lab
Cysec Lab News
Citizen Science
Kontakt
Home
Forschung
Publikationen
Efficient monitoring of hyperproperties using prefix trees
2020-02
Efficient monitoring of hyperproperties using prefix trees
Zusammenfassung
No description available
Tags
Zuverlässige Sicherheitsgarantien
Artikel
Veröffentlichungsdatum
2020-02
Letztes Änderungsdatum
2024-09-19
Autor:innen
Bernd Finkbeiner
Christopher Hahn
Marvin Stenger
Leander Tentrup
Zum Paper