Constantin Enea. Abstraction techniques for verification of concurrent systems. (Techniques d'abstraction dans la verification des systèmes concurrents). PhD thesis, University of Paris-Est, France, 2008. [doi]
@phdthesis{hal-4839, title = {Abstraction techniques for verification of concurrent systems. (Techniques d'abstraction dans la verification des systèmes concurrents)}, author = {Constantin Enea}, year = {2008}, url = {https://tel.archives-ouvertes.fr/tel-00623170}, researchr = {https://researchr.org/publication/hal-4839}, cites = {0}, citedby = {0}, school = {University of Paris-Est, France}, }