Showing 1 - 2 results of 2 for search 'Anup Kumar Bandyopadhyay', query time: 0.02s Refine Results
  1. 1
    Reasoning about Protocols using Dijkstra’s Calculus

    Reasoning about Protocols using Dijkstra’s Calculus by Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay

    Published 2004-04-01
    Get full text
    Article
  2. 2
    Specifying mobile network using a wp-like formal approach

    Specifying mobile network using a wp-like formal approach by Awadhesh Kumar Singh, Umesh Ghanekar, Anup Kumar Bandyopadhyay

    Published 2005-12-01
    Get full text
    Article

Search Tools: