From ANR DynRes
Main: Reports
Modèles de Ressources Abstraits
, Dominique Larchey-Wendling, 2015.
High-Level Properties
, Daniel Méry, 2015.
Separation and Modality with Updates
, Joseph Boudou, 2015.
Retrieved from http://anr-dynres.loria.fr/pmwiki.php?n=Main.Reports
Page last modified on October 03, 2015, at 01:20 PM EST