Computer aided verification

17th international conference : proceedings

Verfasser / Beitragende:
CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; Kousha Etessami ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2005
Beschreibung:
564 S. : Ill.
Format:
Buch (Kongress)
ID: 161571077