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.

Incremental Construction of Counterexamples in Model Checking Web Documents

Franz Weitl, Shin Nakajima. Incremental Construction of Counterexamples in Model Checking Web Documents. In Laura Kovács, Temur Kutsia, editors, 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. Volume 18 of EPiC Series, pages 34-50, EasyChair, 2010. [doi]

Authors

Franz Weitl

This author has not been identified. Look up 'Franz Weitl' in Google

Shin Nakajima

This author has not been identified. Look up 'Shin Nakajima' in Google
runs on