Travelled to:
1 × Germany
Collaborated with:
D.Gajski E.Villar W.Rosenstiel V.Gerousis D.Barton J.Plantin P.Cavalloro G.G.d.Jong
Talks about:
progress (1) deadlock (1) system (1) specif (1) level (1)
Person: S. E. Ericsson
DBLP: Ericsson:S=_E=
Contributed to:
Wrote 1 papers:
- DATE-2001-GajskiVRGBPECJ #concurrent #specification
- C/C++: progress or deadlock in system-level specification (DG, EV, WR, VG, DB, JP, SEE, PC, GGdJ), pp. 136–137.