Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
construct (1) synchron (1) approach (1) reliabl (1) code (1)
Person: M. S. Laventhal
DBLP: Laventhal:M=_S=
Contributed to:
Wrote 1 papers:
- ICSE-1979-Laventhal #approach #reliability
- A Constructive Approach to Reliable Synchronization Code (MSL), pp. 194–202.