Author of the publication

Information und/oder Infrastruktur - Transformation gestalten : Wünsche, Herausforderung, Realität. Vortrag zur Verabschiedung des Direktors der Universitätsbibliothek Bielefeld, Herrn Ltd. Bibliotheksdirektor Dr. Michael Höppner am 4.12.2012

. Bibliotheksebene, 27 (1): 18 (2013)
DOI: 10.18419/opus-6429

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien., , , , , , , , , and 3 other author(s). VIS, volume 16 of DuD-Fachbeiträge, page 175-190. Vieweg, (1993)Machine-Assisted Program Construction and Modification., , and . GWAI, volume 216 of Informatik-Fachberichte, page 338-347. Springer, (1989)Program Verification by Symbolic Execution and Induction., , and . GWAI, volume 152 of Informatik-Fachberichte, page 201-210. Springer, (1987)A Portrait of a Scientist: Logic, AI and Politics., and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 1-13. Springer, (2005)Implementing Verification Strategies in the KIV-System., , and . CADE, volume 310 of Lecture Notes in Computer Science, page 131-140. Springer, (1988)A History-based Verification of Distributed Applications., , , and . VERIFY, volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Automating Interactive Protocol Verification., , , , and . KI, volume 5243 of Lecture Notes in Computer Science, page 30-37. Springer, (2008)Simultaneous Quantifier Elimination., , and . KI, volume 1504 of Lecture Notes in Computer Science, page 141-152. Springer, (1998)Verification of Distributed Applications., , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 315-328. Springer, (2007)Verifying a Chipcard-Based Biometric Identification Protocol in VSE., , , , and . SAFECOMP, volume 4166 of Lecture Notes in Computer Science, page 42-56. Springer, (2006)