Deutsch
Intern
Open Access
Home
Search
Browse
Add publication
FAQ
Refine
Author
Schlich, B. (1)
(remove)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
10
10
20
50
100
Applying Model Checking to an Automotive Microcontroller Application
(2007)
Schlich, B.
;
Salewski, F.
;
Kowalewski, S.
1
to
1