Quantitative analysis of probabilistic lossy channel systems
2006 ◽
Vol 204
(5)
◽
pp. 713-740
◽
Parosh Abdulla
◽
Lorenzo Clemente
◽
Richard Mayr
◽
Sven Sandberg
Purush Iyer
◽
Murali Narasimha
Parosh Abdulla
◽
Aurore Annichini
◽
Ahmed Bouajjani
Parosh Aziz Abdulla
◽
Mats Kindahl
◽
Doron Peled
Guofeng Yan
◽
Jianxin Wang
◽
Shuhong Chen
Parosh Aziz Abdulla
◽
Mats Kindahl
Christel Baier
◽
Nathalie Bertrand
◽
Philippe Schnoebelen
Parosh Abdulla
◽
Christel Baier
◽
Purushothaman Iyer
◽
Bengt Jonsson