MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Verification Tool for Value-Passing Processes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • A Verification Tool for Value-Passing Processes  
  • by H. Lin — 1993 — In Proceedings of 13 th International Symposium on Protocol Speci Testing and Veri IFIP Transactions. North-Holland
  • …A Verification Tool for Value-Passing Processes H. Lin Computer Science University of Sussex…
  • Cited by 8 (5 self) – Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB