From ANR DynRes

Main: Reports

  1. Modèles de Ressources Abstraits, Dominique Larchey-Wendling, 2015.
  2. High-Level Properties, Daniel Méry, 2015.
  3. 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