Changes between Version 6 and Version 7 of Livrables


Ignore:
Timestamp:
Jan 10, 2013, 2:59:40 PM (5 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Livrables

    v6 v7  
    2424* '''L2''', Nicolas Dugué, Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l2.pdf  Les capitalistes sociaux sur Twitter : détection via mesures de similarité], novembre 2012 
    2525 
    26 * '''L3''', Yohan Boichuit, [http://frederic.loulergue.eu/ftp/inex_l3.pdf Raffinement équationnel d'abstraction pour le ''model checking'' régulier], décembre 2012 
     26* '''L3''', Yohan Boichuit, Benoît Boyer, Thomas Genet, Axel Legay, [http://frederic.loulergue.eu/ftp/inex_l3.pdf Raffinement équationnel d'abstraction pour le ''model checking'' régulier], décembre 2012 
    2727 
    2828* ''L4'', GTA : une bibliothèque vérifiée pour la programmation de systèmes infonuagiques