Format:
... Seiten
Edition:
Online-Ausgabe Berlin Springer 2011 1 Online-Ressource SpringerLink: Springer e-Books
ISBN:
9783540484691
,
3540484698
Series Statement:
Lecture Notes in Computer Science 818
Note:
Online-Ausgabe:
Additional Edition:
Elektronische Reproduktion von Dill, David L Computer Aided Verification Berlin, Heidelberg : Springer-Verlag, 1994
Additional Edition:
9783540581796
Additional Edition:
3540581790
Language:
English
Subjects:
Computer Science
Keywords:
Konferenzschrift
DOI:
10.1007/3-540-58179-0
URL:
http://dx.doi.org/10.1007/3-540-58179-0
URL:
Inhaltsbeschreibung der Sammlung und Zugangshinweise
Bookmarklink