Noomene Ben Henda
发表
Noomene Ben Henda,
2008
.
Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
2007,
Log. Methods Comput. Sci..
Noomene Ben Henda,
2006
.
Noomene Ben Henda,
Karl Norrman,
K. Norrman,
2014,
RAID.
Noomene Ben Henda,
2006
.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2007
.
Noomene Ben Henda,
N. B. Henda,
2008
.
Parosh Aziz Abdulla,
Noomene Ben Henda,
Richard Mayr,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Noomene Ben Henda,
2007
.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2008,
VMCAI.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2008,
FORTE.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2007,
TACAS.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2009,
Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla,
Sven Sandberg,
Noomene Ben Henda,
2006
.
Parosh Aziz Abdulla,
Sven Sandberg,
Noomene Ben Henda,
2008,
FoSSaCS.
Parosh Aziz Abdulla,
Sven Sandberg,
Noomene Ben Henda,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Parosh Aziz Abdulla,
Sven Sandberg,
Noomene Ben Henda,
2006,
ATVA.
Noomene Ben Henda,
2006
.
Noomene Ben Henda,
N. B. Henda,
2014,
SPIN.
Noomene Ben Henda,
Björn Johansson,
Karl Norrman,
2017,
FASE.
Parosh Aziz Abdulla,
Johann Deneux,
Bengt Jonsson,
2004
.