Pierre Pillot
According to our database1,
Pierre Pillot
authored at least 3 papers
between 2005 and 2007.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis.
PhD thesis, 2007
2006
Proceedings of the Logic for Programming, 2006
2005
Proceedings of the Theoretical Aspects of Computing, 2005