Travelled to:
1 × Germany
Collaborated with:
A.Yakovlev
Talks about:
architectur (1) asynchron (1) synchron (1) global (1) verif (1) model (1) local (1) ring (1)
Person: Sohini Dasgupta
DBLP: Dasgupta:Sohini
Contributed to:
Wrote 1 papers:
- DATE-2005-DasguptaY #architecture #modelling #verification
- Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures (SD, AY), pp. 568–569.