Lampert

First name: 
Robby
Department / Field: 
Computer Science
Faculty: 
Science
Title: 
Weighted Automata and their Applications to Formal Verification
Supervisor: 
Prof. O. Kupferman
Year of Graduation: 
2011