Marco Eilers
发表
Peter Müller,
Caterina Urban,
Mostafa Hassan,
2018,
CAV.
Peter Müller,
Samuel Hitz,
Marco Eilers,
2020,
ACM Trans. Program. Lang. Syst..
Peter Müller,
Samuel Hitz,
Marco Eilers,
2018,
ESOP.
Peter Müller,
Marco Eilers,
Peter Müller,
2018,
CAV.
Marco Eilers,
Marco Eilers,
2014
.
Martin Clochard,
Tobias Klenze,
Marco Eilers,
2020,
Proc. ACM Program. Lang..
Peter Müller,
Alexander J. Summers,
Marco Eilers,
2021,
Proc. ACM Program. Lang..
Peter Müller,
Alexander J. Summers,
Marco Eilers,
2021,
ArXiv.
Marco Eilers,
Severin Meier,
Peter Müller,
2021,
CAV.