Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Studienjahr
2011/2012
Refine
Keywords
Model Checking (1)
(remove)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Model Checking Embedded Software of an Industrial Knitting Machine
(2011)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
;
Brauer, Jörg
;
Scheuer, Florian
1
to
1