Metadata only
Autor(in)
Alle anzeigen
Datum
2008Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Automated technology for verification and analysis : 6th international symposium : proceedingsZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03686 - Kröning, Daniel
ETH Bibliographie
yes
Altmetrics