MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Interface synthesis and protocol conversion." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Interface Synthesis and Protocol Conversion  
  • by Purandar Bhaduri, S. Ramesh — 2008 — Formal Aspects of Computing
  • …To appear in Formal Aspects of Computing, 2007 Interface Synthesis and Protocol Conversion…
  • Add To MetaCart
  • Synthesis of interface automata  
  • by Purandar Bhaduri — 2005 — In Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005
  • … in this paper. As a practical application we show how to apply interface synthesis to the protocol conversion…
  • Cited by 2 (2 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB