Login / Signup

An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data.

Hadar FrenkelOrna GrumbergSarai Sheinvald
Published in: NFM (2017)
Keyphrases