Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse
R. Breuer, Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse, Universität Paderborn, 2016.
LibreCat: /record/3308

Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
LibreCat: /record/213

Commitment Schemes - Definitions, Variants, and Security
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
LibreCat: /record/214

Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
LibreCat: /record/173

Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
LibreCat: /record/174

Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
LibreCat: /record/192

Gefälschte Online Bewertungen - Literaturüberblick
T. Sassenberg, Gefälschte Online Bewertungen - Literaturüberblick, Universität Paderborn, 2016.
LibreCat: /record/194

Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de
J. Funke, Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de, Universität Paderborn, 2016.
LibreCat: /record/204

Nibbler: Implementing a Turing machine to simulate the Busy Beaver problem
S. Heuchler, Nibbler: Implementing a Turing Machine to Simulate the Busy Beaver Problem, 2016.
LibreCat: /record/18025

Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen
A. Jubrail, Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen, Universität Paderborn, 2016.
LibreCat: /record/183

Kundenbewertungen im Online-Handel – Alles Betrug?
C. Schmidt, Kundenbewertungen im Online-Handel – Alles Betrug?, Universität Paderborn, 2016.
LibreCat: /record/185

Parallelisierung von Algorithmen zur IR-Luftbildanalyse von Laubholzmischbeständen zur Verifizierung der Ausbreitung von Eichenkomplexschäden
J. Bülling, Parallelisierung von Algorithmen Zur IR-Luftbildanalyse von Laubholzmischbeständen Zur Verifizierung Der Ausbreitung von Eichenkomplexschäden, 2016.
LibreCat: /record/5406

Price-Based Allocation Games
J. Koepe, Price-Based Allocation Games, Universität Paderborn, 2016.
LibreCat: /record/5407

Beschleunigte Simulation elektrischer Stromnetze mit GPUs
J. Horstmann, Beschleunigte Simulation Elektrischer Stromnetze Mit GPUs, Paderborn University, 2016.
LibreCat: /record/10695

Konzeption und Implementierung einer digitalen Ansteuerung für den Betrieb einer elektrischen Sendereinheit für induktive Energieübertragung
M. Schmidt, Konzeption Und Implementierung Einer Digitalen Ansteuerung Für Den Betrieb Einer Elektrischen Sendereinheit Für Induktive Energieübertragung, Paderborn University, 2016.
LibreCat: /record/10755

Custom Memory Controller for ReconOS
S. Hermansen, Custom Memory Controller for ReconOS, Paderborn University, 2016.
LibreCat: /record/10781

Über die Rolle von Informationen in Verkehrsnetzwerken
T. Handirk, Über die Rolle von Informationen in Verkehrsnetzwerken, Universität Paderborn, 2016.
LibreCat: /record/1082

Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
K. Bernhardt, Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen, Universität Paderborn, 2016.
LibreCat: /record/128

Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings
A. Schmidt, Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings, Universität Paderborn, 2016.
LibreCat: /record/129

Short Randomizable Aggregatable Signatures: Constructions and Security Analysis
F. Dallmeier, Short Randomizable Aggregatable Signatures: Constructions and Security Analysis, Universität Paderborn, 2016.
LibreCat: /record/152

Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren
A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren, Universität Paderborn, 2016.
LibreCat: /record/131

Verifikation von Service Kompositionen mit Spin
M. Dewender, Verifikation von Service Kompositionen mit Spin, Universität Paderborn, 2016.
LibreCat: /record/133

Verifikation von Service Kompositionen mit Prolog
P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 2016.
LibreCat: /record/134

Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen
D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen, Universität Paderborn, 2016.
LibreCat: /record/136

Wie wertvoll ist der Einzelne für das Team? - Performancemessung der Bundesligaspieler anhand der kooperativen Spieltheorie der Saison 2014/2015
N. N, Wie Wertvoll Ist Der Einzelne Für Das Team? - Performancemessung Der Bundesligaspieler Anhand Der Kooperativen Spieltheorie Der Saison 2014/2015, Universität Paderborn, 2016.
LibreCat: /record/5932

Automatisiertes Matching von Angebot und Nachfrage in der Kunststoffindustrie Ein Fallbeispiel in Kooperation mit der PINPOOLS GmbH
N. N, Automatisiertes Matching von Angebot Und Nachfrage in Der Kunststoffindustrie Ein Fallbeispiel in Kooperation Mit Der PINPOOLS GmbH, Universität Paderborn, 2016.
LibreCat: /record/5940

Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse
N. N, Der Einfluss von Netzwerken Auf Gleichgewichtspreise - Eine Spieltheoretische Analyse, Universität Paderborn, 2016.
LibreCat: /record/5935

Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt?
N. N, Hat Vertikale Integration Einen Einfluss Auf Die Allgemeine Wohlfahrt?, Universität Paderborn, 2016.
LibreCat: /record/5931

Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte
N. N, Stabile Supply-Chains - Basierend Auf Der Theorie Der Matching-Märkte, Universität Paderborn, 2016.
LibreCat: /record/5941

Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren
N. N, Die Berechnung von Machtindizes - Ein Vergleich Verschiedener Verfahren, Universität Paderborn, 2016.
LibreCat: /record/5933

Intermediaries in Buyer Seller Networks
N. N, Intermediaries in Buyer Seller Networks, Universität Paderborn, 2016.
LibreCat: /record/5939

Staatliche Regulierung in vertikal verbundenen Industrien - eine spieltheoretische Analyse
N. N, Staatliche Regulierung in Vertikal Verbundenen Industrien - Eine Spieltheoretische Analyse, Universität Paderborn, 2016.
LibreCat: /record/5937

Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts
N. N, Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts, Universität Paderborn, 2016.
LibreCat: /record/5938

Erweiterung eines Konzeptes zur IT-gestützten mobilen Datenerfassung in Übungen und Einsätzen der zivilen Gefahrenabwehr
A.M. Schultz, Erweiterung Eines Konzeptes Zur IT-Gestützten Mobilen Datenerfassung in Übungen Und Einsätzen Der Zivilen Gefahrenabwehr, 2016.
LibreCat: /record/44454

Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen
M. Trykacz, Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen, Universität Paderborn, 2015.
LibreCat: /record/255

Selektive Vertriebssysteme am Fallbeispiel der Adidas AG - eine wettbewerbspolitische Beurteilung
F. Zindler, Selektive Vertriebssysteme am Fallbeispiel der Adidas AG - eine wettbewerbspolitische Beurteilung, Universität Paderborn, 2015.
LibreCat: /record/256

Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern
M. Kirsch, Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern, Universität Paderborn, 2015.
LibreCat: /record/282

Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup, Universität Paderborn, 2015.
LibreCat: /record/286

Singulärwertzerlegung für ;c-ähnliche Bregman-Divergenzen
D. Strotmann, Singulärwertzerlegung Für ;c-Ähnliche Bregman-Divergenzen, 2015.
LibreCat: /record/2865

Reputation und Vertrauen auf Online-Märkten
M. Sonntag, Reputation und Vertrauen auf Online-Märkten, Universität Paderborn, 2015.
LibreCat: /record/258

Protokolle zur authentifizierten Schüsselvereinbarung
T. Eisenhofer, Protokolle zur authentifizierten Schüsselvereinbarung, Universität Paderborn, 2015.
LibreCat: /record/261

Online Bewertungssysteme – Ein systematischer Überblick
A. Lange, Online Bewertungssysteme – Ein systematischer Überblick, Universität Paderborn, 2015.
LibreCat: /record/268

A group signature scheme based on the LSRW assumption
F. Heihoff, A Group Signature Scheme Based on the LSRW Assumption, Universität Paderborn, 2015.
LibreCat: /record/326

Die Veränderung des Mobilfunkmarktes durch die Discountanbieter
G.P. Walczok, Die Veränderung des Mobilfunkmarktes durch die Discountanbieter, Universität Paderborn, 2015.
LibreCat: /record/3310

Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten
C. Knorr, Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten, Universität Paderborn, 2015.
LibreCat: /record/3364

Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen
P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen, Universität Paderborn, 2015.
LibreCat: /record/291

Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik
G. Materna, Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik, Universität Paderborn, 2015.
LibreCat: /record/294

Fair Trade - An economic investigation of benefits and drawbacks
P. Goronczewski, Fair Trade - An Economic Investigation of Benefits and Drawbacks, Universität Paderborn, 2015.
LibreCat: /record/295

Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit
D. Plonka, Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit, Universität Paderborn, 2015.
LibreCat: /record/298

Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets
C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets, Universität Paderborn, 2015.
LibreCat: /record/300

Diffusion of Innovations in Social Networks
C. Kunisch, Diffusion of Innovations in Social Networks, Universität Paderborn, 2015.
LibreCat: /record/306

Die Wirksamkeit von Zertifikaten als Qualitätssignal
A. Reimann, Die Wirksamkeit von Zertifikaten als Qualitätssignal, Universität Paderborn, 2015.
LibreCat: /record/308

Design of an Evaluation Strategy for Fuzzy Service Matching
M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching, Universität Paderborn, 2015.
LibreCat: /record/310

Budget Games with priced strategies
J. Pautz, Budget Games with Priced Strategies, Universität Paderborn, 2015.
LibreCat: /record/316

Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk
N. Kothe, Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk, Universität Paderborn, 2015.
LibreCat: /record/277

Verkaufsbeschränkungen auf Onlinemarktplätzen - Eine wettbewerbspolitische Analyse am Fallbeispiel der Adidas AG
M.R. Menne, Verkaufsbeschränkungen auf Onlinemarktplätzen - Eine wettbewerbspolitische Analyse am Fallbeispiel der Adidas AG, Universität Paderborn, 2015.
LibreCat: /record/234

Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung
S. Strotmeyer, Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung, Universität Paderborn, 2015.
LibreCat: /record/235

Trust Me, I am Certified - Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
K. Ochlast, Trust Me, I Am Certified - Wie Die Zertifizierung von Produkten Und Verkäufern Das Vertrauen von Kunden Im Onlinehandel Beeinflussen, Universität Paderborn, 2015.
LibreCat: /record/237

Covering and Bridging im selbstorganisierenden Partikelsystem Amoebabot
T. Götte, Covering and Bridging Im Selbstorganisierenden Partikelsystem Amoebabot, Universität Paderborn, 2015.
LibreCat: /record/18003

3D-Nesting in der SLM-Technologie
D. Isenberg, 3D-Nesting in Der SLM-Technologie, 2015.
LibreCat: /record/18004

Implementierung und Analyse von Cone-DHT
C. Korfmacher, Implementierung Und Analyse von Cone-DHT, Universität Paderborn, 2015.
LibreCat: /record/18005

Implementierung eines selbststabilisierenden verteilten Stacks
J. Sundermeier, Implementierung Eines Selbststabilisierenden Verteilten Stacks, Universität Paderborn, 2015.
LibreCat: /record/18006

Implementierung einer selbststabilisierenden Datenstruktur für das längste gemeinsame Präfix
T. Knollmann, Implementierung Einer Selbststabilisierenden Datenstruktur Für Das Längste Gemeinsame Präfix, Universität Paderborn, 2015.
LibreCat: /record/18024

Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse
H. Schulz, Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse, Universität Paderborn, 2015.
LibreCat: /record/229

Praktikabilität des Adjusted Winner Verfahrens bei variablem Status Quo- Punkt und exogenen Einflüssen
T. Streck, Praktikabilität Des Adjusted Winner Verfahrens Bei Variablem Status Quo- Punkt Und Exogenen Einflüssen, Universität Paderborn, 2015.
LibreCat: /record/5090

Mobile Agenten in Netzwerken: Analyse von Hotspots
G. Stilow, Mobile Agenten in Netzwerken: Analyse von Hotspots, Universität Paderborn, 2015.
LibreCat: /record/694

Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs
R. Meißner, Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs, Universität Paderborn, 2015.
LibreCat: /record/10714

Simultane bilaterale Verhandlungen - Zur Zusammenstellung eines Sortiments
N. N, Simultane Bilaterale Verhandlungen - Zur Zusammenstellung Eines Sortiments, Universität Paderborn, 2015.
LibreCat: /record/5927

Cournot-Nash-Bertrand Wettbewerb im serviceorientierten Internet
N. N, Cournot-Nash-Bertrand Wettbewerb Im Serviceorientierten Internet, Universität Paderborn, 2015.
LibreCat: /record/5928

Multilaterale Verhandlungen aus Produzentensicht
N. N, Multilaterale Verhandlungen Aus Produzentensicht, Universität Paderborn, 2015.
LibreCat: /record/5929

Produktdifferenzierung und Verhandlungsposition im duopolistischen Wettbewerb
N. N, Produktdifferenzierung Und Verhandlungsposition Im Duopolistischen Wettbewerb, Universität Paderborn, 2015.
LibreCat: /record/5925

Aggregating Online Reputation Feedback
N. N, Aggregating Online Reputation Feedback, Universität Paderborn, 2015.
LibreCat: /record/5923

Verhandlungserfolg durch Reduktion von Verhandlungsasymmetrien - eine Analyse mit dem Adjusted-Winner-Verfahren
N. N, Verhandlungserfolg Durch Reduktion von Verhandlungsasymmetrien - Eine Analyse Mit Dem Adjusted-Winner-Verfahren, Universität Paderborn, 2015.
LibreCat: /record/5926

Untersuchung des Erreichbarkeitsproblems in ungerichteten Graphen bezüglich den Komplexitätsklassen L und SL
F. Biermeier, Untersuchung Des Erreichbarkeitsproblems in Ungerichteten Graphen Bezüglich Den Komplexitätsklassen L Und SL, 2014.
LibreCat: /record/2866

Evaluierung von Initialisierungsmethoden für Fuzzy-k-means Algorithmen
M. Sauer, Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen, 2014.
LibreCat: /record/2867

Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse
L. Drigalsky, Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse, Universität Paderborn, 2014.
LibreCat: /record/330

Webcam application using virtual FPGA
S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.
LibreCat: /record/331

Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
LibreCat: /record/332

Visualisierung von SMT-Solver-Ausgaben
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
LibreCat: /record/333

Vertical Thread Migration in FPGA based Sound Localization
P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, Universität Paderborn, 2014.
LibreCat: /record/334

Verhandlungen vs Auktionen im Beschäftigungsmanagement
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
LibreCat: /record/337

Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
LibreCat: /record/338

Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
LibreCat: /record/340

Two-Sided Market and Game Console Vendors
T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.
LibreCat: /record/341

Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
LibreCat: /record/342

The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores
C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.
LibreCat: /record/348

Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten
O. Ebel, Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten, Universität Paderborn, 2014.
LibreCat: /record/357

Simulating load-dependent operation of picocells
D. Roeske, Simulating Load-Dependent Operation of Picocells, Universität Paderborn, 2014.
LibreCat: /record/361

Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al
S. Kaiser, Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts &; Holt und Kübler et. al, Universität Paderborn, 2014.
LibreCat: /record/362

RSA-Full Domain Hash Revisited
T. Rath, RSA-Full Domain Hash Revisited, Universität Paderborn, 2014.
LibreCat: /record/369

Reputationssysteme für zusammengesetzte Dienstleistungen
D. Pahl, Reputationssysteme für zusammengesetzte Dienstleistungen, Universität Paderborn, 2014.
LibreCat: /record/373

Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat: /record/18001

Formbildung selbstorganisierender Partikelsysteme
K. Hinnenthal, Formbildung Selbstorganisierender Partikelsysteme, 2014.
LibreCat: /record/18002

Adaptive Placement of Programmable Virtual Network Function Chains
S. Dräxler, Adaptive Placement of Programmable Virtual Network Function Chains, Universität Paderborn, 2014.
LibreCat: /record/461

Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study
M. Bunse, Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study, Universität Paderborn, 2014.
LibreCat: /record/400

Machtverteilungen von Koalitionen im Fokus der politischen Realität
T. Martin Lohre, Machtverteilungen von Koalitionen im Fokus der politischen Realität, Universität Paderborn, 2014.
LibreCat: /record/403

Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen
O. Degraf, Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2014.
LibreCat: /record/405

Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes
F. Eusterholz, Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes, Universität Paderborn, 2014.
LibreCat: /record/413

Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat: /record/416

Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
LibreCat: /record/418