ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Verification of a Leader Election Algorithm in Timed Asynchronous Systems

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
Additional Information: Copyright of this article belongs to Springer.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)
Date Deposited: 11 Aug 2008
Last Modified: 27 Aug 2008 13:36
URI: http://eprints.iisc.ernet.in/id/eprint/15112

Actions (login required)

View Item View Item