• Computer aided verification
  • *Holdings*

*Result*: Computer aided verification

*Title*:
Computer aided verification : 17th international conference ; proceedings / CAV 2005, Edinburgh, Scotland, UK, July 6 - 10, 2005. Kousha Etessami ... (ed.)
*Author/editor-in-chief*:
Etessami, Kousha
*Corporate*:
CAV (17 : 2005 : Edinburgh)
*Publication*:
Berlin : Springer, 2005
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; 3576
*show_all_volumes*
*RVK-Notation*:
*SS 4000*
*Subject Added Keywords*:
*DOI*:
10.1007/b138445

*Additional information*

*Additional functions*