MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Enhancing the tractability of rely/guarantee specifications in the development of interfering operations." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Overview of Milner’s work  
  • by Riccardo Pucella — 2001
  • …. 10. Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering
  • Add To MetaCart
  • Main Publications  
  • by Cliff B. Jones, D. Bjrner, W. Henhapl, H. Bekic, H. Bekic, H. Izbicki, H. Barringer, B. T. Denvir, V. A. Downes, C. B. Jones, C. B. Jones, C. B. Jones, R. A. Snowdon, M. K. Tordoff — 2000
  • … the tractability of rely/guarantee specifications in the development of interfering operations. Technical Report…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB