Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2331 Publications
2019 | Report | LibreCat-ID: 16029
T. Marten and T. Tröster, Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess. Düsseldorf: Forschungsvereinigung Stahlanwendung e.V. im Stahl Zentrum, P920, Verlag und Vertriebsgesellschaft mbH, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16030
M. Triebus, S. Bienia, T. Marten, T. Tröster, and K. Dröder, “Press Hardening Integrated Structuring for Hybrid Components,” presented at the 7th International Conference on Hot Sheet Metal Forming of High-Performance Steel, Lulea, Sweden, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 16215
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, vol. 11800, pp. 179–195.
LibreCat
| DOI