Jump to main content

yr 〜
yr

Search results 4

Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
Paper図書
Kousha Etessami, Sriram K. Rajamani (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingCAV (Conference) Etessami, Kousha Rajamani, Sriram K.

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)
Paper図書
Springerc2010.<M17-10-4245>
National Diet Library
  • Author Heading...lliam) , 1963- Rajamani, Sriram K., 1970- VSTTE 2010 (2010 : Edi...

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Paper図書
Thomas Ball, Sriram K. Rajamani (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingSPIN Ball, Thomas Rajamani, Sriram K.

Model checking software : 10th international SPIN workshop : Portland, OR, USA, May 9-10, 2003 : proceedings. : May 2003, Portland, OR. (Lecture Notes in Computer Science ; 2648)

Model checking software : 10th international SPIN workshop : Portland, OR, USA, May 9-10, 2003 : proceedings. : May 2003, Portland, OR. (Lecture Notes in Computer Science ; 2648)
Paper図書
Springerc2003.<M17-04-466>
National Diet Library
  • Author Heading...audon) , 1965- Rajamani, Sriram K., 1970- International SPIN Wor...

Reached to the end of result.

RSS