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

Author(s):  
Hadar Frenkel ◽  
Orna Grumberg ◽  
Sarai Sheinvald
2016 ◽  
Vol 22 (98) ◽  
pp. 56-61
Author(s):  
Vladislav A. Kosenko ◽  
◽  
Valeriy O. Kvashnin ◽  

Sign in / Sign up

Export Citation Format

Share Document