TY  - THES
DP  - http://www.theses.fr/2009BOR13832
TI  - Unfolding based verification of concurrent infinite-state systems
AU  - Trần (Tran), Thế Quang
A3  - Walukiewicz, Igor
PY  - 2009
N1  - Thèse de doctorat Informatique Bordeaux 1 2009
N1  - 2009BOR13832
UR  - http://www.theses.fr/2009BOR13832/document
ER  -