Monografie
Automated technology for verification and analysis : 4th international symposium ; proceedings
- Language
-
Englisch
- Extent
-
XIV, 540 S.
- ISBN
-
978-3-540-47237-7
- Identifier
-
981257240
- Series
-
Lecture notes in computer science; Vol. 4218
- Subject
-
Systementwurf ; Systemanalyse ; Softwareentwicklung ; Hardwareentwurf ; Verifikation ; Formale Methode ; Zeitbehafteter Automat ; Eingebettetes System ; Hybrides System ; Model Checking ; Konferenzschrift Peking; Kongress Peking <2006>; Kongress <2006>
- Contributor
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:23 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Monografie
Associated
Other Objects (12)
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings
Automated technology for verification and analysis : 7th international symposium ; proceedings
Automated technology for verification and analysis : 6th international symposium ; proceedings
Automated technology for verification and analysis : 9th international symposium ; proceedings
Automated technology for verification and analysis : 10th international symposium ; proceedings
Automated technology for verification and analysis : 8th international symposium ; proceedings
Automated technology for verification and analysis : second international conference : proceedings
Automated Verification of Parallel Nested DFS
Highly Automated Formal Verification of Arithmetic Circuits
Automated deduction : proceedings
Automated deduction : proceedings
Automated deduction : proceedings