Direkteinstieg

Portrait of Person: Philip Lukert

Philip Lukert (Doktorand)
 
 Stuhlsatzenhaus 5 | 66123 Saarbrücken | 1.05

Veröffentlichungen:

Title Date Date
 2018
CAV
2018
 Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
 NRA2
 Computer Aided Verification