Language
Publisher
Subjects
Publication date
-
All (
) -
Free, open source ( )
1Result(s)for '"Steinhorst Sebastian"'
Resource list
By Steinhorst Sebastian Hedrich Lars in Formal Methods in System Design
ISSN:0925-9856|36|2|131-147
Springer Publishing Company (2010)
Access to resources
Favorite
16.384167