Keyword:temporal description logics

Publications
Incremental Construction of Counterexamples in Model Checking Web Documents Franz Weitl and Shin Nakajima In:WWV 2010. 6th International Workshop on Automated Specification and Verification of Web Systems