Travelled to:
1 × Hungary
Collaborated with:
K.J.Kristoffersen K.G.Larsen J.Niedermann
Talks about:
synthesi (1) automat (1) system (1) time (1) real (1)
Person: Jørgen H. Andersen
DBLP: Andersen:J=oslash=rgen_H=
Contributed to:
Wrote 1 papers:
- ICALP-1995-AndersenKLN #automation #realtime #synthesis
- Automatic Synthesis of Real Time Systems (JHA, KJK, KGL, JN), pp. 535–546.