Neeraj Jaggi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Neeraj Jaggi, K. Gopinath: Verification of a Leader Election Algorithm in Timed Asynchronous Systems. FSTTCS 2001: 207-218

Selection of 1 from 6 records - Neeraj Jaggi has 3 coauthors