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]
Abstract is missing.