-
Web services composition verification using satisfiability solving
International audience -
Counting LTL
The original publication is available at ieeexplore.ieee.org. -
Mu-Calculus Based Resolution of XPath Decision Problems
XPath is the standard declarative notation for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization,... -
Counting CTL
34 pages -
A Comparison between SAT and CSP techniques
This dataset has no description
