Steve Kremer: Results on a real life case study

Results on a real life case study - Helios 2.0.

Véronique Cortier and Steve Kremer. Results on a real life case study - Helios 2.0.. Deliverable AVOTE 4.3, (ANR-07-SESU-002), January 2012. 116 pages.

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{avoteD43,
  author =        {Cortier, V{\'e}ronique and Kremer, Steve},
  howpublished =  {Deliverable AVOTE~4.3, (ANR-07-SESU-002)},
  month =         jan,
  note =          {116~pages},
  type =          {Contract Report},
  title =         {Results on a real life case study - Helios 2.0.},
  year =          {2012},
  nmonth =        {1},
  url =           {http://www.lsv.ens-cachan.fr/Projects/anr-avote/RAPPORTS/deliv4-3.pdf},
}