Lüttgen, Gerald
VIAF ID: 14462268 ( Personal )
Permalink: http://viaf.org/viaf/14462268
Preferred Forms
- 100 1 _ ‡a Lüttgen, Gerald
- 100 1 _ ‡a Lüttgen, Gerald
- 100 1 _ ‡a Lüttgen, Gerald
4xx's: Alternate Name Forms (1)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Compositional minimization of finite state systems using interface specifications | |
Data Structure Identification from Executions of Pointer Programs | |
A faster-than relation for asynchronous processes, 2001: | |
Interface Automata for Shared Memory | |
Is observational congruence on [mu-expressions] axiomatisable in equational horn logic? | |
A linear-time branching-time perspective on interface automata | |
Pre-emptive modeling of concurrent and distributed systems | |
Reverse Engineering of Real-Time System Models From Event Trace Recordings | |
Symbolic Object Code Analysis | |
Throw Away Student Software At Semester End? Better Not! |