Travelled to:
1 × Denmark
Collaborated with:
S.Krogdahl E.Munthe-Kaas
Talks about:
approach (1) specif (1) formal (1) coher (1) down (1) cach (1) top (1) sci (1)
Person: Stein Gjessing
DBLP: Gjessing:Stein
Facilitated 1 volumes:
Contributed to:
Wrote 1 papers:
- CAV-1991-GjessingKM #approach #specification #top-down
- A Top Down Approach to the Formal Specification of SCI Cache Coherence (SG, SK, EMK), pp. 83–91.