Name Card

Full name Familienname, Vorname
Doyen, Laurent
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hajdu-2022-Getting Saturated withInduction-am.pdf.jpgHajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag 29-Dec-2022
2Függer, Matthias ; Lenzen, Christoph ; Schmid, Ulrich On Specifications and Proofs of Timed CircuitsBook Contribution Buchbeitrag 2022