Stefan Leue
发表
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1996
.
Dieter Hogrefe,
Stefan Leue,
1995,
IFIP Advances in Information and Communication Technology.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1997,
TACAS.
Stefan Leue,
Mohammad Zulkernine,
Piotr K. Tysowski,
1999
.
Stefan Leue,
Martin Kölbl,
2019,
ATVA.
Florian Leitner-Fischer,
Stefan Leue,
2011
.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2014
.
Stefan Leue,
Stefan Edelkamp,
Alberto Lluch-Lafuente,
2001
.
Stefan Leue,
Stefan Edelkamp,
Alberto Lluch-Lafuente,
2001,
Workshop on Software Model Checking @ CAV.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1997
.
Florian Leitner-Fischer,
Stefan Leue,
Adrian Beer,
2014
.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2008
.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1996
.
Stefan Leue,
Thomas Wies,
Martin Kölbl,
2019,
CAV.
Stefan Leue,
Georgiana Caltais,
Hargurbir Singh,
2020,
MODELSWARD.