CISPA
Browse

File(s) not publicly available

Efficient monitoring of hyperproperties using prefix trees

Version 2 2023-12-11, 20:12
Version 1 2023-11-29, 18:06
journal contribution
posted on 2023-12-11, 20:12 authored by Bernd FinkbeinerBernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
No description available

History

Preferred Citation

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup. Efficient monitoring of hyperproperties using prefix trees. In: International Journal on Software Tools for Technology Transfer (STTT). 2020.

Primary Research Area

  • Reliable Security Guarantees

Legacy Posted Date

2020-10-15

Journal

International Journal on Software Tools for Technology Transfer (STTT)

Open Access Type

  • Gold

Sub Type

  • Article

BibTeX

@article{cispa_all_3250, title = "Efficient monitoring of hyperproperties using prefix trees", author = "Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander", journal="{International Journal on Software Tools for Technology Transfer (STTT)}", year="2020", }

Usage metrics

    Categories

    No categories selected

    Keywords

    Reliable Security Guarantees

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC