Publications

  • An Automata-Theoretic Approach to Modeling Systems
    and Specifications Over Infinite Data
    Hadar Frenkel, Orna Grumberg, and Sarai Sheinvald
    NFM 2017
    pdfslides