Publikationen

In: IEEE Workshop on RTL and High Level Testing - Proceedings. IEEE Workshop on RTL and High Level Testing (WRTLT-13) 14th November 21-22 Jiaosi Taiwan IEEE 2013.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence