Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Studienjahr
2017/2018
Refine
Keywords
Verification (1)
(remove)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Formale Verifikation von Embedded Systems Software
(2010)
Reinbacher, Thomas
;
Horauer, Martin
1
to
1