Travelled to:
1 × Germany
Collaborated with:
P.Manolios S.K.Srinivasan
Talks about:
monolith (1) pipelin (1) collaps (1) verif (1) flush (1) deep (1)
Person: Roma Kane
DBLP: Kane:Roma
Contributed to:
Wrote 1 papers:
- DATE-2006-KaneMS #pipes and filters #verification
- Monolithic verification of deep pipelines with collapsed flushing (RK, PM, SKS), pp. 1234–1239.