Name Card

Full name Familienname, Vorname
Yahav, Eran
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Shoaei, Mohammad Reza ; Kovács, Laura ; Lennartson, Bengt Supervisory Control of Discrete-Event Systems via IC3Konferenzbeitrag Inproceedings 2014
2Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011