Travelled to:
1 × Germany
Collaborated with:
D.Gajski E.Villar W.Rosenstiel V.Gerousis D.Barton S.E.Ericsson P.Cavalloro G.G.d.Jong
Talks about:
progress (1) deadlock (1) system (1) specif (1) level (1)
Person: J. Plantin
DBLP: Plantin:J=
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.