TY  - THES
DP  - http://www.theses.fr/2008PEST0050
TI  - 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
AU  - Vassiliev, Pavel
A3  - Beauquier, Danièle; Soloviev, Igor
PY  - 2008
N1  - Thèse de doctorat Informatique Paris Est 2008
N1  - Thèse de doctorat Informatique Sankt-Peterburgskij gosudarstvennyj universitet 2008
N1  - 2008PEST0050
UR  - http://www.theses.fr/2008PEST0050/document
ER  -