@PHDTHESIS{Trần2009,
url = "http://www.theses.fr/2009BOR13832",
title = "Unfolding based verification of concurrent infinite-state systems",
author = "Trần (Tran), Thế Quang",
year = "2009",
note = "Thèse de doctorat dirigée par Walukiewicz, Igor Informatique Bordeaux 1 2009",
note = "2009BOR13832",
url = "http://www.theses.fr/2009BOR13832/document",
}