Travelled to:
1 × Belgium
Collaborated with:
∅
Talks about:
transform (1) reachabl (1) procedur (1) approach (1) topolog (1) analysi (1) result (1) extens (1) point (1) view (1)
Person: Gerd Neugebauer
DBLP: Neugebauer:Gerd
Contributed to:
Wrote 3 papers:
- LOPSTR-1993-Neugebauer #analysis #reachability
- Reachability Analysis for the Extension Procedure — A Topological Result (GN), pp. 32–44.
- LOPSTR-1992-Neugebauer #approach #perspective
- The LOPS Approach: A Transformational Point of View (GN), pp. 80–81.