TU Darmstadt / ULB / TUbiblio

On behavioural abstraction and behavioural satisfaction in higher-order logic

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

Item Type: Article
Erschienen: 1996
Creators: Hofmann, Martin
Title: On behavioural abstraction and behavioural satisfaction in higher-order logic
Language: English
Journal or Publication Title: Theoretical computer science. 167 (1996), S. 3-45
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 16:00
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details