External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Trace Assertion Method of Module Interface Specification with Concurrency

Ryszard Janicki, Yan Liu. On Trace Assertion Method of Module Interface Specification with Concurrency. In Wojciech Ziarko, Y. Y. Yao, editors, Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers. Volume 2005 of Lecture Notes in Computer Science, pages 632-641, Springer, 2000. [doi]

Authors

Ryszard Janicki

This author has not been identified. Look up 'Ryszard Janicki' in Google

Yan Liu

This author has not been identified. Look up 'Yan Liu' in Google
runs on