MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Purandar Bhaduri" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Synthesis of interface automata  
  • by Purandar Bhaduri — 2005 — In Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005
  • …Synthesis of Interface Automata Purandar Bhaduri Department of Computer Science and Engineering…
  • Cited by 2 (2 self) – Add To MetaCart
  • Interface Synthesis and Protocol Conversion  
  • by Purandar Bhaduri, S. Ramesh — 2008 — Formal Aspects of Computing
  • … Purandar Bhaduri 1 and S. Ramesh 2 1 Department of Computer Science and Engineering Indian Institute…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB