Language
Publisher
Subjects
Publication date
-
All (
) -
Free, open source ( )
1Result(s)for '"Neuhäußer Martin"'
Resource list
By Mikeev Linar Neuhäußer Martin Spieler David Wolf Verena in Formal Methods in System Design
ISSN:0925-9856|43|2|313-337
Springer Publishing Company (2013)
Access to resources
Favorite
12.913902