Publikation
Shuo Yang; Robert Wille; Daniel Grosse; Rolf Drechsler
In: José Silva Matos; Francesco Leporati (Hrsg.). 16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital System Design (DSD-13), 16th, located at SEAA 2013, September 4-6, Santander, Spain, Pages 439-444, IEEE Press, 2013.
@inproceedings{pub6821, author = { Yang, Shuo and Wille, Robert and Grosse, Daniel and Drechsler, Rolf }, editor = { Matos, José Silva and Leporati, Francesco }, title = {Minimal Stimuli Generation in Simulation-based Verification}, booktitle = {16th Euromicro Conference on Digital System Design - Proceedings. Euromicro Conference on Digital System Design (DSD-13), 16th, befindet sich SEAA 2013, September 4-6, Santander, Spain}, year = {2013}, pages = {439--444}, publisher = {IEEE Press} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023