Language
Publisher
Subjects
Publication date
-
All (
) -
Free, open source ( )
1Result(s)for '"Kattenbelt Mark"'
Resource list
By Kattenbelt Mark Kwiatkowska Marta Norman Gethin Parker David in Formal Methods in System Design
ISSN:0925-9856|36|3|246-280
Springer Publishing Company (2010)
Access to resources
Favorite
9.410927