On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems
Christel Baier
◽
Nathalie Bertrand
◽
Philippe Schnoebelen
2011 ◽
Vol 14
(2)
◽
pp. 109-118
◽
Dana Fisman
◽
Amir Pnueli
2005 ◽
Vol 138
(3)
◽
pp. 101-115
◽
Ahmed Bouajjani
◽
Axel Legay
◽
Pierre Wolper
Bengt Jonsson
◽
Mayank Saksena
Parosh Aziz Abdulla
◽
Bengt Jonsson
◽
Marcus Nilsson
◽
Julien d'Orso
2006 ◽
Vol 69
(1-2)
◽
pp. 93-121
◽
Parosh Aziz Abdulla
◽
Axel Legay
◽
Julien d’Orso
◽
Ahmed Rezine
Parosh Aziz Abdulla
◽
Bengt Jonsson
◽
Marcus Nilsson
◽
Mayank Saksena
Ahmed Bouajjani
◽
Bengt Jonsson
◽
Marcus Nilsson
◽
Tayssir Touili
Daniel Neider
◽
Nils Jansen
Parosh Aziz Abdulla
◽
Bengt Jonsson
◽
Marcus Nilsson
◽
Julien d’Orso
◽
Mayank Saksena