@PHDTHESIS{vassi2008,
url = "http://www.theses.fr/2008PEST0050",
title = "Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre",
author = "Vassiliev, Pavel",
year = "2008",
note = "Thèse de doctorat dirigée par Beauquier, Danièle et Soloviev, Igor Informatique Paris Est 2008",
note = "Thèse de doctorat Informatique Sankt-Peterburgskij gosudarstvennyj universitet 2008",
note = "2008PEST0050",
url = "http://www.theses.fr/2008PEST0050/document",
}