@PHDTHESIS{Enea2008,
url = "http://www.theses.fr/2008PEST0001",
title = "Abstraction techniques for verification of concurrent systems",
author = "Enea, Constantin",
year = "2008",
note = "Thèse de doctorat dirigée par Tiplea, Ferucio Laurentiu et Slissenko, Anatol Informatique Paris Est 2008",
note = "2008PEST0001",
url = "http://www.theses.fr/2008PEST0001/document",
}