M. Saksena
发表
B. Jonsson,
Ahmed Rezine,
M. Saksena,
2007
.
Mayank Saksena,
M. Saksena,
2008
.
Parosh Aziz Abdulla,
Marcus Nilsson,
Bengt Jonsson,
2004,
CONCUR.
Bengt Jonsson,
Mayank Saksena,
B. Jonsson,
2007,
CAV.
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
2006,
CONCUR.
Parosh Aziz Abdulla,
Marcus Nilsson,
Julien d'Orso,
2004,
International Journal on Software Tools for Technology Transfer.
Bengt Jonsson,
Martin Leucker,
Therese Berg,
2005,
SVV@ICLP.
Bengt Jonsson,
Oskar Wibling,
Mayank Saksena,
2008,
TACAS.