TU Darmstadt / ULB / TUbiblio

On behavioural abstraction and behavioural satisfaction in higher-order logic

Hofmann, Martin :
On behavioural abstraction and behavioural satisfaction in higher-order logic.
In: Theoretical computer science. 167 (1996), S. 3-45
[Artikel], (1996)

Typ des Eintrags: Artikel
Erschienen: 1996
Autor(en): Hofmann, Martin
Titel: On behavioural abstraction and behavioural satisfaction in higher-order logic
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Theoretical computer science. 167 (1996), S. 3-45
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:00
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen