Publications (0)

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