Jaggi, Neeraj and Gopinath, K (2001) Verification of a Leader Election Algorithm in Timed Asynchronous Systems. In: 21st Conference on Foundations of Software Technology and Theoretical Computer Science, 13-15 December, 2001, pp. 207-218.
Full text not available from this repository. (Request a copy)Abstract
It has abstract.
| Item Type: | Conference Paper |
|---|---|
| Publisher: | Springer |
| Additional Information: | Copyright of this article belongs to Springer. |
| Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
| Date Deposited: | 11 Aug 2008 |
| Last Modified: | 27 Aug 2008 13:36 |
| URI: | http://eprints.iisc.ac.in/id/eprint/15112 |
Actions (login required)
 |
View Item |
