|
Search the dblp DataBase
Anup Kumar Bandyopadhyay:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. [Citation Graph (0, 0)][DBLP] J. Comput. Sci. Technol., 2004, v:19, n:6, pp:795-802 [Journal]
- Awadhesh Kumar Singh, Umesh Ghanekar, Anup Kumar Bandyopadhyay
Specifying Mobile Network using a wp-like Formal Approach. [Citation Graph (0, 0)][DBLP] Revista Comlombiana de Computación, 2005, v:6, n:2, pp:59-77 [Journal]
- Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay
Adding the leads-to operator to Dijkstra's calculus. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 2004, v:39, n:2, pp:12-17 [Journal]
- Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal
Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 2007, v:42, n:5, pp:10-15 [Journal]
Specifying Fault-Tolerance Using Split Precondition Logic. [Citation Graph (, )][DBLP]
Comparative Study of Some Solution Methods for Traveling Salesman Problem Using Genetic Algorithms. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|