Concurrent clustered programming
- Vijay Saraswat
- Radha Jagadeesan
- 2005
- CONCUR 2005
Publications
Date
Featured collections
Popular topics
2 results at CONCUR 2005
Automatic verification of fault-tolerant register emulations
- Paul C. Attie
- Hana Chockler
- 2005
- CONCUR 2005