Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
O S S I E T Z K Y Fakultat II --Informatik, Wirtschafts-und Rechtswissenschaften
 

Summary: C A R L
V O N
O S S I E T Z K Y
Fakult¨at II -- Informatik, Wirtschafts- und Rechtswissenschaften
Department f¨ur Informatik
Verifying Properties of Processes,
Data, and Time:
Linking Counterexamples to High-Level
Specifications
Diplomarbeit
vorgelegt von
Ulrich Hobelmann
Erstgutachter: Prof. Dr. Ernst-R¨udiger Olderog
Zweitgutachter: Dipl.-Inform. Johannes Faber
Oldenburg, April 16, 2007
I hereby certify that the work presented in this thesis is my own and that work per-
formed by others is appropriately cited.
Ich versichere hiermit, diese Arbeit selbst¨andig verfaßt, andere als die angegebenen
Quellen und Hilfsmittel nicht benutzt und mich auch sonst keiner unerlaubten Hilfsmittel
bedient zu haben.

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences