Livres

2008

  1. J-M. Couvreur, T. Jéron (eds.), Proceedings of 8th School on MOdeling and VErifying parallel Process (MOVEP'08), 2008. (détails)

2002

  1. FATES'02, Formal Approaches to Testing of Software, A Satellite Workshop of CONCUR'02, R. Hierons, T. Jéron (eds.), Inria Report, Août 2002. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


This page has been automatically generated using the bib2html program.