You are here

2007

  1. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
    Syntactic Optimizations for PSL Verification,
    Proceedings of 13th Int. Conference Tools and Algorithms for the Construction and Analysis of Systems,
    Springer,
    vol.4424,
    2007
    , pp. 505-
    518
    , (TACAS,
    Braga, Portugal,
    24/03/2007-01/04/2007)
  2. Roderick Bloem; Roberto Cavada; Ingo Pill; Marco Roveri; Andrei Tchaltsev,
    Rat: A tool for the formal analysis of requirements,
    Proceedings of 19th Int. Conference Computer Aided Verification,
    Springer,
    vol.4590,
    2007
    , pp. 263-
    267
    , (CAV 2007,
    Berlin, Germany,
    03/07/2007-07/07/2007)
  3. Roberto Sebastiani; Stefano Tonetta; Moshe Vardi,
    Proceedings of the 13th Int. Conference on Tools and algorithms for the construction and analysis of systems,
    Berlin, Heidelberg,
    Springer-Verlag,
    vol.4424,
    2007
    , pp. 389-
    404
    , (TACAS'07,
    Braga, Portugal,
    24/03-1/04/2007)
  4. Roderick Bloem;Marco Roveri;Fabio Somenzi (eds.),
    Preface,
    2007
  5. Roberto Bruttomesso; Alessandro Cimatti; Roberto Sebasatiani; Alberto Griggio; Anders Franzen,
    2007,

Pages