Christophe Pajault
According to our database1,
Christophe Pajault
authored at least 9 papers
between 2005 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
2008
2009
2010
0
1
2
3
4
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Int. J. Softw. Tools Technol. Transf., 2010
2008
Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents. (Parallel and distributed high-level colored Petri net model checking).
PhD thesis, 2008
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008
Proceedings of the Reliable Software Technologies, 2008
2007
Proceedings of the Model Checking Software, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
Proceedings of the Reliable Software Technologies, 2007
2006
Proceedings of the Formal Methods: Applications and Technology, 2006
2005
Proceedings of the Reliable Software Technology, 2005