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.
2166 Publications
2019 | Journal Article | LibreCat-ID: 15123
Liquid Flow Morphology of Viscous Systems in Structured Packings: Investigations by X-ray Tomography
L. Bolenz, D. Toye, E. Kenig, Chemical Engineering Transactions 74 (2019) 913–918.
LibreCat
| DOI
L. Bolenz, D. Toye, E. Kenig, Chemical Engineering Transactions 74 (2019) 913–918.
2019 | Conference Abstract | LibreCat-ID: 15125
Tomographische Untersuchung der Fluiddynamik viskoser Systeme in Packungskolonnen
L. Bolenz, D. Toye, E. Kenig, in: 2019.
LibreCat
L. Bolenz, D. Toye, E. Kenig, in: 2019.
2019 | Conference Abstract | LibreCat-ID: 15126
Experimental and theoretical investigation of fluid dynamics in structured packings
L. Bolenz, D. Toye, E. Kenig, in: 2019.
LibreCat
L. Bolenz, D. Toye, E. Kenig, in: 2019.
2019 | Conference Abstract | LibreCat-ID: 15128
Liquid Flow Morphology of Viscous Systems in Structured Packings: Investigations by X-ray Tomography
L. Bolenz, D. Toye, E. Kenig, in: 2019.
LibreCat
L. Bolenz, D. Toye, E. Kenig, in: 2019.
2019 | Conference Abstract | LibreCat-ID: 15145
Modellierung des Stofftransports in Füllkörperkolonnen mit dem Ansatz der hydrodynamischen Analogien
A.H.J. Salten, J.F. Maćkowiak, J. Maćkowiak, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppen Fluidverfahrenstechnik und Membrantechnik, Potsdam, 2019.
LibreCat
A.H.J. Salten, J.F. Maćkowiak, J. Maćkowiak, E. Kenig, in: Jahrestreffen der ProcessNet-Fachgruppen Fluidverfahrenstechnik und Membrantechnik, Potsdam, 2019.
2019 | Journal Article | LibreCat-ID: 15148
A hydrodynamic analogy based modelling approach for zero-gravity distillation with metal foams
S. Rieks, M. Wende, N. Preußer, T. Gambaryan-Roisman, E. Kenig, Chemical Engineering Research and Design 147 (2019) 615–623.
LibreCat
| DOI
S. Rieks, M. Wende, N. Preußer, T. Gambaryan-Roisman, E. Kenig, Chemical Engineering Research and Design 147 (2019) 615–623.
2019 | Conference Abstract | LibreCat-ID: 15149
Modellierungsansatz zur Simulation von Gravidestillation mit Metallschäumen
M. Wende, E. Kenig, in: Jahrestreffen Der ProcessNet-Fachgruppe Wärme- Und Stoffübertragung, 2019.
LibreCat
M. Wende, E. Kenig, in: Jahrestreffen Der ProcessNet-Fachgruppe Wärme- Und Stoffübertragung, 2019.
2019 | Conference Abstract | LibreCat-ID: 15154
Simulation von Gravidestillationsprozessen mit Metallschäumen
M. Wende, C. Staggenborg, E. Kenig, in: Workshop Wärmeübertragung Mit Phasenwechsel in Fluiden Systemen: Ein Update, 2019.
LibreCat
M. Wende, C. Staggenborg, E. Kenig, in: Workshop Wärmeübertragung Mit Phasenwechsel in Fluiden Systemen: Ein Update, 2019.
2019 | Conference Paper | LibreCat-ID: 15164
A sensitivity-based optimisation procedure for the characterisation of piezoelectric discs
N. Feldmann, B. Jurgelucks, L. Claes, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat
| DOI
N. Feldmann, B. Jurgelucks, L. Claes, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
2019 | Journal Article | LibreCat-ID: 15173
Fachbezogene Reflexion in der beruflichen Lehrer*innenbildung
T. Jenert, T. Brahm, N. Naeve-Stoß, Bwpat 37 (2019).
LibreCat
T. Jenert, T. Brahm, N. Naeve-Stoß, Bwpat 37 (2019).
2019 | Journal Article | LibreCat-ID: 15174
Untangling Faculty Misinformation From an Educational Perspective: Rejoinder to ''The Menace of Misinformation: Faculty Misstatements in Management Education and Their Consequences''
T. Jenert, T. Brahm , Journal of Management Education 43 (2019) 446–453.
LibreCat
T. Jenert, T. Brahm , Journal of Management Education 43 (2019) 446–453.
2019 | Book (Editor) | LibreCat-ID: 15175
Theorie und Praxis der Hochschulbildungsforschung
T. Jenert, G. Reinmann, T. Schmohl, eds., Theorie und Praxis der Hochschulbildungsforschung, 1st ed., Springer VS, Wiesbaden, 2019.
LibreCat
T. Jenert, G. Reinmann, T. Schmohl, eds., Theorie und Praxis der Hochschulbildungsforschung, 1st ed., Springer VS, Wiesbaden, 2019.
2019 | Conference Abstract | LibreCat-ID: 15182
Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics
A. Dunst, R. Hartel, in: DHd Konferenz 2019, Multimedial Und Multimodal, 2019.
LibreCat
A. Dunst, R. Hartel, in: DHd Konferenz 2019, Multimedial Und Multimodal, 2019.
2019 | Conference Abstract | LibreCat-ID: 15186
Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel
A. Dunst, R. Hartel, in: Digital Humanities, DH 2019, 2019.
LibreCat
A. Dunst, R. Hartel, in: Digital Humanities, DH 2019, 2019.
2019 | Working Paper | LibreCat-ID: 15202
The Decomposability of the Nash Bargaining Solution in Labor Markets
C.-J. Haake, T. Upmann, P. Duman, The Decomposability of the Nash Bargaining Solution in Labor Markets, CIE Working Paper Series, Paderborn University, 2019.
LibreCat
| Files available
C.-J. Haake, T. Upmann, P. Duman, The Decomposability of the Nash Bargaining Solution in Labor Markets, CIE Working Paper Series, Paderborn University, 2019.
2019 | Working Paper | LibreCat-ID: 15204
Duality for General TU-games Redefined
F. Aslan, P. Duman, W. Trockel, Duality for General TU-Games Redefined, CIE Working Paper Series, Paderborn University, 2019.
LibreCat
| Files available
F. Aslan, P. Duman, W. Trockel, Duality for General TU-Games Redefined, CIE Working Paper Series, Paderborn University, 2019.
2019 | Conference (Editor) | LibreCat-ID: 15235
Proceedings of the 6th Workshop on Argument Mining
B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument Mining, Association for Computational Linguistics, Florence, Italy, 2019.
LibreCat
| Download (ext.)
B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument Mining, Association for Computational Linguistics, Florence, Italy, 2019.
2019 | Conference Paper | LibreCat-ID: 15244
Messung hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten Umgebungen
O.E.C. Hagedorn, D. Pielsticker, T. Hemsel, W. Sextro, in: 2. VDI-Fachtagung Schwingungen 2019, VDI Verlag GmbH · Düsseldorf 2019, 2019.
LibreCat
O.E.C. Hagedorn, D. Pielsticker, T. Hemsel, W. Sextro, in: 2. VDI-Fachtagung Schwingungen 2019, VDI Verlag GmbH · Düsseldorf 2019, 2019.
2019 | Conference Paper | LibreCat-ID: 15247
Entwicklung eines thermischen 1D-Simulationsmodells zur Bestimmung der Temperaturverteilung in Solarmodulen
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, S. Krauter, E. Kenig, in: 2019.
LibreCat
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, S. Krauter, E. Kenig, in: 2019.
2019 | Conference Abstract | LibreCat-ID: 15248
Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, E. Kenig, in: 2019.
LibreCat
M. Grabo, D. Weber, A. Paul, T. Klaus, W. Bermpohl, E. Kenig, in: 2019.
2019 | Conference Paper | LibreCat-ID: 15261
Analysis of Lamb wave mode repulsion and its implications to the characterisation of adhesive bonding strength
Y. Lugovtsova, S. Johannesmann, B. Henning, J. Prager, in: 2019 International Congress on Ultrasonics, Acoustical Society of America, Bruges, 2019.
LibreCat
| DOI
Y. Lugovtsova, S. Johannesmann, B. Henning, J. Prager, in: 2019 International Congress on Ultrasonics, Acoustical Society of America, Bruges, 2019.
2019 | Book (Editor) | LibreCat-ID: 15265
Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.
O. Linssen, M. Mikusz, A. Volland, E. Yigitbas, M. Engstler, M. Fazal-Baqaie, M. Kuhrmann, eds., Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel., 2019.
LibreCat
O. Linssen, M. Mikusz, A. Volland, E. Yigitbas, M. Engstler, M. Fazal-Baqaie, M. Kuhrmann, eds., Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel., 2019.
2019 | Journal Article | LibreCat-ID: 15268
The Collaboration of Human Resource Management and Line Management–An International Comparison
K. Szierbowski-Seibel, B.A. Wach, R. Kabst, Organization Management Journal (2019) 262–277.
LibreCat
| DOI
K. Szierbowski-Seibel, B.A. Wach, R. Kabst, Organization Management Journal (2019) 262–277.
2019 | Journal Article | LibreCat-ID: 15269
Impact of national culture on organizations’ use of selection practices
N.R. Prince, R. Kabst, Employee Relations: The International Journal (2019) 1145–1161.
LibreCat
| DOI
N.R. Prince, R. Kabst, Employee Relations: The International Journal (2019) 1145–1161.
2019 | Mastersthesis | LibreCat-ID: 15946
Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recongurable System-on-Chip
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recongurable System-on-Chip, 2019.
LibreCat
J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS on a Recongurable System-on-Chip, 2019.
2019 | Journal Article | LibreCat-ID: 15950
Fracture prediction of additively manufactured AlSi10Mg materials
E.F. Akbulut Irmak, T. Tröster, Procedia Structural Integrity (2019) 190–197.
LibreCat
| DOI
E.F. Akbulut Irmak, T. Tröster, Procedia Structural Integrity (2019) 190–197.
2019 | Conference Paper | LibreCat-ID: 15976
Modeling the Energy Absorption Characteristics of Wood Crash Elements
E.F. Akbulut Irmak, J. Hanses, S. Schweizer, T. Tröster, in: 2019.
LibreCat
E.F. Akbulut Irmak, J. Hanses, S. Schweizer, T. Tröster, in: 2019.
2019 | Report | LibreCat-ID: 16029
Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess
T. Marten, T. Tröster, Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess, Forschungsvereinigung Stahlanwendung e.V. im Stahl Zentrum, P920, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2019.
LibreCat
T. Marten, T. Tröster, Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess, Forschungsvereinigung Stahlanwendung e.V. im Stahl Zentrum, P920, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2019.
2019 | Conference Paper | LibreCat-ID: 16030
Press Hardening Integrated Structuring for Hybrid Components
M. Triebus, S. Bienia, T. Marten, T. Tröster, K. Dröder, in: Verlag Wissenschaftliche Scripten, 2019.
LibreCat
M. Triebus, S. Bienia, T. Marten, T. Tröster, K. Dröder, in: Verlag Wissenschaftliche Scripten, 2019.
2019 | Conference Paper | LibreCat-ID: 16076
Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers
T. Hetkämper, L. Claes, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat
| DOI
T. Hetkämper, L. Claes, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
2019 | Journal Article | LibreCat-ID: 16113
Scalability of parametric down-conversion for generating higher-order Fock states
J. Tiedau, T. Bartley, G. Harder, A.E. Lita, S.W. Nam, T. Gerrits, C. Silberhorn, Physical Review A (2019).
LibreCat
| DOI
J. Tiedau, T. Bartley, G. Harder, A.E. Lita, S.W. Nam, T. Gerrits, C. Silberhorn, Physical Review A (2019).
2019 | Conference Paper | LibreCat-ID: 16215
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: M. H. ter Beek, A. McIver, J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Springer, 2019, pp. 179–195.
LibreCat
| DOI
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: M. H. ter Beek, A. McIver, J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Springer, 2019, pp. 179–195.
2019 | Conference Paper | LibreCat-ID: 16223
SYCL Code Generation for Multigrid Methods
S. Groth, C. Schmitt, J. Teich, F. Hannig, in: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES ’19, 2019.
LibreCat
| DOI
S. Groth, C. Schmitt, J. Teich, F. Hannig, in: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES ’19, 2019.
2019 | Book Chapter | LibreCat-ID: 16251
Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier
O. Müller, in: The Art of Structuring, 2019.
LibreCat
| DOI
O. Müller, in: The Art of Structuring, 2019.
2019 | Conference Paper | LibreCat-ID: 16271
Quantification of frequency-dependent absorption phenomena
L. Claes, S. Johannesmann, E. Baumhögger, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
LibreCat
| DOI
L. Claes, S. Johannesmann, E. Baumhögger, B. Henning, in: 2019 International Congress on Ultrasonics, 2019.
2019 | Journal Article | LibreCat-ID: 16275
„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material
A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, R. Romeike, GdSU-Journal,(9) (2019) 10–21.
LibreCat
A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, R. Romeike, GdSU-Journal,(9) (2019) 10–21.
2019 | Journal Article | LibreCat-ID: 16305
Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation
M. Linnemann, P.A. Nikolaychuk, Y.M. Muñoz-Muñoz, E. Baumhögger, J. Vrabec, Journal of Chemical & Engineering Data (2019) 1180–1188.
LibreCat
| DOI
M. Linnemann, P.A. Nikolaychuk, Y.M. Muñoz-Muñoz, E. Baumhögger, J. Vrabec, Journal of Chemical & Engineering Data (2019) 1180–1188.
2019 | Journal Article | LibreCat-ID: 16314
Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions
S. Preiß, A. Päpcke, L. Burkhardt, L. Großmann, S. Lochbrunner, M. Bauer, T. Opatz, K. Heinze, Chemistry – A European Journal (2019) 5940–5949.
LibreCat
| DOI
S. Preiß, A. Päpcke, L. Burkhardt, L. Großmann, S. Lochbrunner, M. Bauer, T. Opatz, K. Heinze, Chemistry – A European Journal (2019) 5940–5949.
2019 | Journal Article | LibreCat-ID: 16320
Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes
P. Müller, A. Neuba, U. Flörke, G. Henkel, T.D. Kühne, M. Bauer, The Journal of Physical Chemistry A (2019) 3575–3581.
LibreCat
| DOI
P. Müller, A. Neuba, U. Flörke, G. Henkel, T.D. Kühne, M. Bauer, The Journal of Physical Chemistry A (2019) 3575–3581.
2019 | Dissertation | LibreCat-ID: 16325
Probing Iron-Ligand interactions by combining modern high-resolution hard X-ray spectroscopy and density functional theory : a powerful methodology in cases where conventional methods fail / vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)]
L. Burkhardt, Probing Iron-Ligand Interactions by Combining Modern High-Resolution Hard X-Ray Spectroscopy and Density Functional Theory : A Powerful Methodology in Cases Where Conventional Methods Fail / Vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)], Paderborn, 2019.
LibreCat
| DOI
| Download (ext.)
L. Burkhardt, Probing Iron-Ligand Interactions by Combining Modern High-Resolution Hard X-Ray Spectroscopy and Density Functional Theory : A Powerful Methodology in Cases Where Conventional Methods Fail / Vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)], Paderborn, 2019.
2019 | Dissertation | LibreCat-ID: 16327
Experimental and theoretical (high energy resolution) X-ray absorption and emission spectroscopy / vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt]
P. Müller, Experimental and Theoretical (High Energy Resolution) X-Ray Absorption and Emission Spectroscopy / Vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt], Paderborn, 2019.
LibreCat
| DOI
| Download (ext.)
P. Müller, Experimental and Theoretical (High Energy Resolution) X-Ray Absorption and Emission Spectroscopy / Vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt], Paderborn, 2019.
2019 | Journal Article | LibreCat-ID: 16337 |
Visibility‐Aware Progressive Farthest Point Sampling on the GPU
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, Computer Graphics Forum 38 (2019) 413–424.
LibreCat
| DOI
| Download (ext.)
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, Computer Graphics Forum 38 (2019) 413–424.
2019 | Preprint | LibreCat-ID: 16341 |
Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225 (2019).
LibreCat
| Download (ext.)
| arXiv
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225 (2019).
2019 | Book Chapter | LibreCat-ID: 16361
Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
LibreCat
| DOI
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
2019 | Conference Paper | LibreCat-ID: 16375
Modeling Cycling Behavior to Improve Bicyclists' Safety at Intersections - A Networking Perspective
J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.
LibreCat
| DOI
J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.
2019 | Conference Paper | LibreCat-ID: 16376
Poster Abstract: Jamming WLAN Data Frames and Acknowledgments using Commodity Hardware
F. Klingler, F. Dressler, in: IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2019.
LibreCat
| DOI
F. Klingler, F. Dressler, in: IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), 2019.
2019 | Book Chapter | LibreCat-ID: 16377
Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest
P. Reinold, N. Meyer, D. Buse, F. Klingler, C. Sommer, F. Dressler, M. Eisenbarth, J. Andert, in: Proceedings, Wiesbaden, 2019.
LibreCat
| DOI
P. Reinold, N. Meyer, D. Buse, F. Klingler, C. Sommer, F. Dressler, M. Eisenbarth, J. Andert, in: Proceedings, Wiesbaden, 2019.
2019 | Book Chapter | LibreCat-ID: 13872
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat
| DOI
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.