Publications (14)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
A Ä B C D E F G H I J K L M N O P Q R S T U Ü V W Z All 
Verification of hybrid controlled processing systems based on decomposition and deduction (2001)
Frehse, G.; Stursberg, O.; Engell, S.; Huuk, R.; Lukoschus, B.
Conference proceedings article
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
Share link