Name Card

Full name Familienname, Vorname
Daviaud, Laure
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Daviaud, Laure ; Colcombet, Thomas ; Zuleger, Florian Automata and Program AnalysisKonferenzbeitrag Inproceedings 2017
2Colcombet, Thomas ; Daviaud, Laure ; Zuleger, Florian Size-Change Abstraction and Max-Plus AutomataKonferenzbeitrag Inproceedings 2014