TY  - THES
DP  - http://www.theses.fr/2012PEST1081
TI  - BSP algorithms for LTL & CTL model checking of security protocols
AU  - Guedj, Michaël
A3  - Hains, Gaétan; Gava, Frédéric
PY  - 2012
N1  - Thèse de doctorat Informatique Paris Est 2012
N1  - 2012PEST1081
UR  - http://www.theses.fr/2012PEST1081/document
ER  -