Computer aided verification
17th international conference : proceedings
Gespeichert in:
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)
Online Zugang: