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