|
 
|
Denis Poitrenaud
Publications
2011
- [BMP11] K. Barkaoui, B. Monsuez, D. Poitrenaud. "Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I", International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers, vol. 2(3/4, 2011), pp. 414, 2011, (doi:1757-8779)
Revue Internationale avec comité de lecture
2000
- [PP00] D. Poitrenaud, J. Pradat-Peyre. "Pre and Post-Agglomerations and LTL Model Checking", January 2000, Vol. 1825, pp.387-408,
