Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Kleuker, Stephan
'
Treffer 1-2 von 2
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Kleuker, Stephan (2)
Olderog, Ernst-Rüdiger (1)
1
49GBVUOB_ALMA21236904420003501
49GBVUOB_ALMA21236904420003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236904420003501
Artikel
Formalizing requirements for distributed systems with trace diagrams
von
Stephan Kleuker
1997
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Kleuker, Stephan ([1994-1998])
Enthalten in:
Industrial applications and strengthened foundations of formal methods Berlin [u.a.], 1997 S. 102 - 121
Sprache:
Englisch
2
49GBVUOB_ALMA21236680440003501
49GBVUOB_ALMA21236680440003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236680440003501
Artikel
Forschungsbereich 3 : Integrierte Hardware-Software-Systeme
von
Ernst-Rüdiger Olderog ; Stephan Kleuker
1996
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Olderog, Ernst-Rüdiger
Kleuker, Stephan ([1994-1998])
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1995 (1996), S. 44
Notation:
inf 008.1 j
Sprache:
Deutsch
Seite 1 von 1