Sheinvald

First name: 
Sarai
Department / Field: 
Computer Science
Faculty: 
Science
Title: 
Variable Automata- Theory and Applications in the Verifications of Data-Parameterized Systems
Supervisor: 
Prof. O. Kupferman
Year of Graduation: 
2015