Language
Publisher
Subjects
- All ( )
- Free, open source ( )
2Result(s)for '"Finkbeiner Bernd"'
Resource list
By Finkbeiner Bernd Sipma Henny in Formal Methods in System Design
ISSN:0925-9856|24|2|101-127
Springer Publishing Company (2004)
Access to resources Favorite 15.517097
By Finkbeiner Bernd Sankaranarayanan Sriram Sipma Henny in Formal Methods in System Design
ISSN:0925-9856|27|3|253-274
Springer Publishing Company (2005)
Access to resources Favorite 11.637823