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.
450 Publications
2001 | Book Review | LibreCat-ID: 24945
Katrin Kohl: Friedrich Gottlieb Klopstock, Metzler, Stuttgart, Weimar 2000 (Sammlung Metzler 325).
S. Elit, Zeitschrift für deutsche Philologie (2001).
LibreCat
| DOI
S. Elit, Zeitschrift für deutsche Philologie (2001).
2001 | Conference Paper | LibreCat-ID: 2552
Relaying in Wireless Access Networks – A Capacity and Energy-Efficiency Perspective
H. Karl, in: Proc. Wireless World Research Forum Kickoff Meeting (WWRF), München, 2001.
LibreCat
| Files available
H. Karl, in: Proc. Wireless World Research Forum Kickoff Meeting (WWRF), München, 2001.
2001 | Conference Paper | LibreCat-ID: 2554
Relaying ñ bad for energy, good for capacity?
H. Karl, in: Eork-in-progress session of mobicom 2001, Rom/Italy, 2001.
LibreCat
| Files available
H. Karl, in: Eork-in-progress session of mobicom 2001, Rom/Italy, 2001.
2001 | Conference Paper | LibreCat-ID: 2556
IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System
H. Karl, T. Hentschel, in: Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung, 2001.
LibreCat
| Files available
H. Karl, T. Hentschel, in: Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung, 2001.
2001 | Book Review | LibreCat-ID: 19464
Kathrin Reckmann, Anfänge der Barockarchitektur in Sachsen. Johann Georg Starcke und seine Zeit, Köln 2000
E.-M. Seng, Kunstform 2, Nr. 5 und Sehepunkte 1, Nr. 2 (2001).
LibreCat
E.-M. Seng, Kunstform 2, Nr. 5 und Sehepunkte 1, Nr. 2 (2001).
2001 | Book Chapter | LibreCat-ID: 1949
The Application of Modern Technology in International Human Resource Management A comparison of the essential facility doctrine in US-American, European, and German law
D. Krimphove, in: A. Clermont, W. Schmeisser, D. Krimphove (Eds.), Strategisches Personalmanagement in Globalen Unternehmen, Verlag Vahlen, München, 2001, pp. 701 – 725.
LibreCat
D. Krimphove, in: A. Clermont, W. Schmeisser, D. Krimphove (Eds.), Strategisches Personalmanagement in Globalen Unternehmen, Verlag Vahlen, München, 2001, pp. 701 – 725.
2001 | Book Chapter | LibreCat-ID: 1950
Wirtschaftlich/rechtliche Möglichkeiten der Führungskräfteentlohnung mittels variabeler Vergütungssysteme in Kreditinstituten
D. Krimphove, O. Kruse, in: A. Clermont, W. Schmeisser, D. Krimphove (Eds.), Strategisches Personalmanagement in Globalen Unternehmen, Verlag Vahlen, München, 2001, pp. 789 – 810.
LibreCat
D. Krimphove, O. Kruse, in: A. Clermont, W. Schmeisser, D. Krimphove (Eds.), Strategisches Personalmanagement in Globalen Unternehmen, Verlag Vahlen, München, 2001, pp. 789 – 810.
2001 | Book Chapter | LibreCat-ID: 1951
Kleine und mittlere Unternehmen aus Sicht des deutschen und europäischen Wettbewerbsrechts
D. Krimphove, in: W. Schmeisser, D. Krimphove (Eds.), Vom Gründungsmanagement Zum Neuen Markt, Gabler-Verlag, Wiesbaden, 2001, pp. 389 – 430.
LibreCat
D. Krimphove, in: W. Schmeisser, D. Krimphove (Eds.), Vom Gründungsmanagement Zum Neuen Markt, Gabler-Verlag, Wiesbaden, 2001, pp. 389 – 430.
2001 | Journal Article | LibreCat-ID: 1952
Der Zugang zu fremden Betriebs- und Produktionsmitteln, Eine ökonomisch/rechtsvergleichende Analyse der „essential-facility“ Doktrin in US-amerikanischen und europäischen Recht
D. Krimphove, Zeitschrift Für Rechtsvergleichung -ZfRV (2001) 164 – 179.
LibreCat
D. Krimphove, Zeitschrift Für Rechtsvergleichung -ZfRV (2001) 164 – 179.
2001 | Journal Article | LibreCat-ID: 1953
Rechtstheoretische Aspekte der „Neuen Ökonomischen Theorie des Rechts“
D. Krimphove, Rechtstheorie (2001) 497 – 532.
LibreCat
D. Krimphove, Rechtstheorie (2001) 497 – 532.
2001 | Book Review | LibreCat-ID: 19544
Franz-Josef Deiters: Drama im Augenblick des Sturzes. Zur Allegorisierung des Dramas in der Moderne. Versuche zu einer Konstitutionstheorie. Berlin: Erich Schmidt, 1999
N.O. Eke, Germanistik 42 (2001) 762–763.
LibreCat
N.O. Eke, Germanistik 42 (2001) 762–763.
2001 | Book Review | LibreCat-ID: 19545
Katharina Keim: Theatralität in den späten Dramen Heiner Müllers. Tübingen: Niemeyer, 1998
N.O. Eke, Germanistik 42 (2001) 864–865.
LibreCat
N.O. Eke, Germanistik 42 (2001) 864–865.
2001 | Dissertation | LibreCat-ID: 19622
Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing
K. Schröder, Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
| Files available
K. Schröder, Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Book Chapter | LibreCat-ID: 19703
Europa - ein aktuelles Thema für die Grundschule
P. Büker, in: R. Schmitt (Ed.), Grundlegende Bildung in und für Europa. Grundschulverband (Beiträge zur Reform der Grundschule, Bd. 112), 2001, pp. 166–181.
LibreCat
P. Büker, in: R. Schmitt (Ed.), Grundlegende Bildung in und für Europa. Grundschulverband (Beiträge zur Reform der Grundschule, Bd. 112), 2001, pp. 166–181.
2001 | Book Chapter | LibreCat-ID: 19704
"Begeisterung steckt an wie Grippeviren" - ein deutsch-polnisches Literaturprojekt rund um das Kinderbuch "Irgendwie Anders".
P. Büker, A. Malinowski, G. Störmer-Langer, in: R. Schmitt (Ed.), Grundlegende Bildung in und für Europa. Grundschulverband (Beiträge zur Reform der Grundschule, Bd. 112), Frankfurt am Main, 2001, pp. 182–195.
LibreCat
P. Büker, A. Malinowski, G. Störmer-Langer, in: R. Schmitt (Ed.), Grundlegende Bildung in und für Europa. Grundschulverband (Beiträge zur Reform der Grundschule, Bd. 112), Frankfurt am Main, 2001, pp. 182–195.
2001 | Journal Article | LibreCat-ID: 19707
Europa - (k)ein Thema für die Grundschule?!
P. Büker, Grundschule 33, H. 4 (2001) 34–40.
LibreCat
P. Büker, Grundschule 33, H. 4 (2001) 34–40.
2001 | Journal Article | LibreCat-ID: 19708
"Ich möchte gern in Frankreich leben, weil die da...". Ergebnisse einer Erkundungsstudie mit Grundschulkindern rund um das Thema "Europa".
P. Büker, Grundschule 33, Internetbeitrag zu H. 4. (2001).
LibreCat
| Files available
P. Büker, Grundschule 33, Internetbeitrag zu H. 4. (2001).
2001 | Conference Paper | LibreCat-ID: 19797
Efficient Parallel Simulations of Pulse-Coded Neural Networks (PCNN)
K. Salzwedel, G. Hartmann, C. Wolff, R. Preis, in: Proceedings of the PDPTA 2001, 2001, pp. 463–470.
LibreCat
K. Salzwedel, G. Hartmann, C. Wolff, R. Preis, in: Proceedings of the PDPTA 2001, 2001, pp. 463–470.
2001 | Conference Paper | LibreCat-ID: 19927
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 19957
Begegnungsorientierter Umgang mit Kinder- und Jugendliteratur im interkulturellen Deutschunterricht der Grundschule. Dokumentationsschrift zur gleichnamigen Lehreraus- und Fortbildungsveranstaltung am 08./09.02.2001 an der Universität Bielefeld
P. Büker, C. Kammler, eds., Begegnungsorientierter Umgang mit Kinder- und Jugendliteratur im interkulturellen Deutschunterricht der Grundschule. Dokumentationsschrift zur gleichnamigen Lehreraus- und Fortbildungsveranstaltung am 08./09.02.2001 an der Universität Bielefeld, 2001.
LibreCat
P. Büker, C. Kammler, eds., Begegnungsorientierter Umgang mit Kinder- und Jugendliteratur im interkulturellen Deutschunterricht der Grundschule. Dokumentationsschrift zur gleichnamigen Lehreraus- und Fortbildungsveranstaltung am 08./09.02.2001 an der Universität Bielefeld, 2001.
2001 | Journal Article | LibreCat-ID: 1999
Anatomy of a Resource Management System for HPC Clusters
A. Keller, A. Reinefeld, Annual Review of Scalable Computing 3 (2001) 1–31.
LibreCat
| DOI
A. Keller, A. Reinefeld, Annual Review of Scalable Computing 3 (2001) 1–31.
2001 | Conference Paper | LibreCat-ID: 2000
Early Experiences with the EGrid Testbed
J. Gehring, A. Keller, A. Reinefeld, A. Streit, in: Proc. Int. Symposium on Cluster Computing and the Grid (CCGRID), Brisbane, Australia, 2001, pp. 130–137.
LibreCat
| DOI
J. Gehring, A. Keller, A. Reinefeld, A. Streit, in: Proc. Int. Symposium on Cluster Computing and the Grid (CCGRID), Brisbane, Australia, 2001, pp. 130–137.
2001 | Conference Paper | LibreCat-ID: 2002
Lessons Learned While Operating Two Large SCI Clusters
A. Keller, A. Krawinkel, in: Proc. Int. Symposium on Cluster Computing and the Grid (CCGRID), Brisbane, Australia, 2001, pp. 303–310.
LibreCat
| DOI
A. Keller, A. Krawinkel, in: Proc. Int. Symposium on Cluster Computing and the Grid (CCGRID), Brisbane, Australia, 2001, pp. 303–310.
2001 | Journal Article | LibreCat-ID: 27973
Nutrient intakes as predictors of body weight in European people with type 1 diabetes.
M. Toeller, A. Buyken, G. Heitkamp, G. Cathelineau, B. Ferriss, G. Michel, E. IDDM Complications Study Group, Int J Obes Relat Metab Disord 25 (2001) 1815–1822.
LibreCat
| DOI
| PubMed | Europe PMC
M. Toeller, A. Buyken, G. Heitkamp, G. Cathelineau, B. Ferriss, G. Michel, E. IDDM Complications Study Group, Int J Obes Relat Metab Disord 25 (2001) 1815–1822.
2001 | Journal Article | LibreCat-ID: 27974
Glycemic index in the diet of European outpatients with type 1 diabetes: relations to glycated hemoglobin and serum lipids.
A. Buyken, M. Toeller, G. Heitkamp, B. Karamanos, R. Rottiers, M. Muggeo, J. Fuller, E. IDDM Complications Study Group, Am J Clin Nutr 73 (2001) 574–581.
LibreCat
| DOI
| PubMed | Europe PMC
A. Buyken, M. Toeller, G. Heitkamp, B. Karamanos, R. Rottiers, M. Muggeo, J. Fuller, E. IDDM Complications Study Group, Am J Clin Nutr 73 (2001) 574–581.
2001 | Report | LibreCat-ID: 2427
Efficient Resource Management for Malleable Applications
J. Hungershöfer, A. Streit, J.-M. Wierum, Efficient Resource Management for Malleable Applications, Paderborn Center for Parallel Computing, 2001.
LibreCat
J. Hungershöfer, A. Streit, J.-M. Wierum, Efficient Resource Management for Malleable Applications, Paderborn Center for Parallel Computing, 2001.
2001 | Conference Paper | LibreCat-ID: 2428
Instance-Specific Accelerators for Minimum Covering
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2001, pp. 85–91.
LibreCat
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2001, pp. 85–91.
2001 | Journal Article | LibreCat-ID: 2429
Server-Side-Techniken im Web – ein Überblick
C. Plessl, E. Wilde, IX (2001) 88–93.
LibreCat
C. Plessl, E. Wilde, IX (2001) 88–93.
2001 | Mastersthesis | LibreCat-ID: 2430
Reconfigurable Accelerators for Minimum Covering
C. Plessl, Reconfigurable Accelerators for Minimum Covering, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.
LibreCat
C. Plessl, Reconfigurable Accelerators for Minimum Covering, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.
2001 | Conference Paper | LibreCat-ID: 2431
A Cache Simulator for Shared Memory Systems
F. Schintke, J. Simon, A. Reinefeld, in: Proc. Int. Conf. on Computational Science (ICCS), Springer, Berlin / Heidelberg, 2001, pp. 569–578.
LibreCat
| DOI
F. Schintke, J. Simon, A. Reinefeld, in: Proc. Int. Conf. on Computational Science (ICCS), Springer, Berlin / Heidelberg, 2001, pp. 569–578.
2001 | Conference Paper | LibreCat-ID: 2432
Reconfigurable Processors for Handhelds and Wearables: Application Analysis
R. Enzler, M. Platzner, C. Plessl, L. Thiele, G. Tröster, in: Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III, 2001, pp. 135–146.
LibreCat
| DOI
R. Enzler, M. Platzner, C. Plessl, L. Thiele, G. Tröster, in: Reconfigurable Technology: FPGAs and Reconfigurable Processors for Computing and Communications III, 2001, pp. 135–146.
2001 | Dissertation | LibreCat-ID: 24509
Analyses and Design of Efficient Graph Partitioning Methods
R. Preis, Analyses and Design of Efficient Graph Partitioning Methods, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
R. Preis, Analyses and Design of Efficient Graph Partitioning Methods, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24510
Nutzenorientierte Planung des Einsatzes von CAD- / CAE-Systemen
J. Lemke, Nutzenorientierte Planung des Einsatzes von CAD- / CAE-Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
J. Lemke, Nutzenorientierte Planung des Einsatzes von CAD- / CAE-Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24511
Eine Methode zur Visualisierung von Geschäftsprozessen in einer virtuellen Umgebung
O. von Bohuszewicz, Eine Methode zur Visualisierung von Geschäftsprozessen in einer virtuellen Umgebung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
O. von Bohuszewicz, Eine Methode zur Visualisierung von Geschäftsprozessen in einer virtuellen Umgebung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24512
Zur Entwicklung dynamischer Komponenten für variables Kraftfahrzeug-Scheinwerferlicht
T. Börnchen, Zur Entwicklung dynamischer Komponenten für variables Kraftfahrzeug-Scheinwerferlicht, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
T. Börnchen, Zur Entwicklung dynamischer Komponenten für variables Kraftfahrzeug-Scheinwerferlicht, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24513
Auswahl von Restrukturierungsprojekten in Forschungs- und Entwicklungsorganisationen der Automobilindustrie
I. Windeler, Auswahl von Restrukturierungsprojekten in Forschungs- und Entwicklungsorganisationen der Automobilindustrie, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
I. Windeler, Auswahl von Restrukturierungsprojekten in Forschungs- und Entwicklungsorganisationen der Automobilindustrie, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24514
Parallele Simulation großer pulscodierter neuronaler Netze
C. Wolff, Parallele Simulation großer pulscodierter neuronaler Netze, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
C. Wolff, Parallele Simulation großer pulscodierter neuronaler Netze, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24583
Modellierung, Simulation und Optimierung piezoelektrischer Stellsysteme
A. Henke, Modellierung, Simulation und Optimierung piezoelektrischer Stellsysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
A. Henke, Modellierung, Simulation und Optimierung piezoelektrischer Stellsysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Conference (Editor) | LibreCat-ID: 24584
Proceedings of the 5th International Heinz Nixdorf Symposium: Autonomous Minirobots for Research and Edutainment (AMiRE)
U. Rückert, J. Sitte, U. Witkowski, eds., Proceedings of the 5th International Heinz Nixdorf Symposium: Autonomous Minirobots for Research and Edutainment (AMiRE), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
U. Rückert, J. Sitte, U. Witkowski, eds., Proceedings of the 5th International Heinz Nixdorf Symposium: Autonomous Minirobots for Research and Edutainment (AMiRE), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24585
Datenkonversion für den Datenaustausch in verteilten Fertigungs-Lenkungssystemen
L. Peng, Datenkonversion für den Datenaustausch in verteilten Fertigungs-Lenkungssystemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
L. Peng, Datenkonversion für den Datenaustausch in verteilten Fertigungs-Lenkungssystemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24586
Eine modellbasierte Methode zum strukturierten Entwurf virtueller Umgebungen
C. Brandt, Eine modellbasierte Methode zum strukturierten Entwurf virtueller Umgebungen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
C. Brandt, Eine modellbasierte Methode zum strukturierten Entwurf virtueller Umgebungen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24587
Methode zur Effektivitäts- und Effezienzbewertung der Entwicklung der maschinenbauchlicher Anlagen
C. Wleklinski, Methode zur Effektivitäts- und Effezienzbewertung der Entwicklung der maschinenbauchlicher Anlagen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
C. Wleklinski, Methode zur Effektivitäts- und Effezienzbewertung der Entwicklung der maschinenbauchlicher Anlagen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Dissertation | LibreCat-ID: 24588
Leitfaden zur Erhöhung der Logistikqualtität durch Analyse und Neugestaltung der Versorgungsketten
H. Mauermann, Leitfaden zur Erhöhung der Logistikqualtität durch Analyse und Neugestaltung der Versorgungsketten, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
H. Mauermann, Leitfaden zur Erhöhung der Logistikqualtität durch Analyse und Neugestaltung der Versorgungsketten, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Journal Article | LibreCat-ID: 2587
Mehrjährige Arbeitszeitkonten in Forschung und Praxis
S. Betz, Der Betrieb 54 (2001) 215–220.
LibreCat
S. Betz, Der Betrieb 54 (2001) 215–220.
2001 | Book Chapter | LibreCat-ID: 2588
Abweichungsanalysen als Instrumente des Risikomanagements
S. Betz, in: U. Götze u.a. (Ed.), Risikomanagement, Heidelberg, 2001, pp. 475–492.
LibreCat
S. Betz, in: U. Götze u.a. (Ed.), Risikomanagement, Heidelberg, 2001, pp. 475–492.
2001 | Book Chapter | LibreCat-ID: 26846
Spatial ability & geometry learning
M. Grüßing, F. Hellmich, in: M. van den Heuvel-Panhuizen (Ed.), Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education, Utrecht University, Utrecht, 2001, p. 396.
LibreCat
M. Grüßing, F. Hellmich, in: M. van den Heuvel-Panhuizen (Ed.), Proceedings of the 25th Conference of the International Group for the Psychology of Mathematics Education, Utrecht University, Utrecht, 2001, p. 396.
2001 | Book Chapter | LibreCat-ID: 26847
Förderung des räumlichen Vorstellungsvermögens lernbehinderter Schülerinnen und Schüler im Zusammenhang mit ihren Leistungen im Geometrieunterricht
F. Hellmich, in: G. Kaiser (Ed.), Beiträge zum Mathematikunterricht 2001, Franzbecker, Hildesheim, 2001, pp. 277–280.
LibreCat
F. Hellmich, in: G. Kaiser (Ed.), Beiträge zum Mathematikunterricht 2001, Franzbecker, Hildesheim, 2001, pp. 277–280.
2001 | Book | LibreCat-ID: 26848
Raumvorstellung und Geometrielernen in der Schule für Lernhilfe
F. Hellmich, Raumvorstellung und Geometrielernen in der Schule für Lernhilfe, Didaktisches Zentrum (Oldenburger VorDrucke 434), Oldenburg, 2001.
LibreCat
F. Hellmich, Raumvorstellung und Geometrielernen in der Schule für Lernhilfe, Didaktisches Zentrum (Oldenburger VorDrucke 434), Oldenburg, 2001.
2001 | Journal Article | LibreCat-ID: 3244
Process algebra with action dependencies
A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
LibreCat
| DOI
A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
2001 | Journal Article | LibreCat-ID: 3245
Jass - Java with Assertions
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
LibreCat
| DOI
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.