You are here

2012

  1. Robin Steel; Alexander Hoffman; Mark Niézette; Alessandro Cimatti; Marco Roveri; Konstantinos Kapellos; Alessandro Donati; Nicola Policella,
    Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground,
    SpaceOps 2012 Conference,
    2012
    , (12th International Conference on Space Operations, SpaceOps, At Stockholm, Sweden,
  2. A. Cimatti,
    Formal Methods in Computer-Aided Design, FMCAD 2012,
    IEEE,
    2012
    , pp. 4-
    , (Formal Methods in Computer-Aided Design,
    Cambridge, UK,
    22-25 October 2012)
  3. Jörg Brauer; Marco Roveri; Hendrik Tews (eds.),
    6th International Workshop on Systems Software Verification, SSV 2011,
    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
    2012
  4. Alessandro Cimatti; Roberto Sebastiani (eds.),
    Theory and Applications of Satisfiability Testing – SAT 2012,
    Springer,
    2012

Pages