MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Synthesis of Interface Automata." – 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
  • 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
  • …] for the synchronous one. Keywords: Interface automata; component compatibility; interface synthesis; protocol…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB