University of Innsbruck, Technikerstrasse 21a, AT-6020 Innsbruck, Austria;
机译:无重复DTD下简单XPath片段的可满足性
机译:无重复DTD下简单XPath片段的可满足性
机译:数据树的交替自动机和XPath可满足性
机译:基于模式的XPath可满足性测试器的原型
机译:基于模式的问题解决(计划,分布式计划,分布式,原型)
机译:COVID-19:为什么要测试?谁来测试?怎么测试?
机译:数据树交替自动机和Xpath可满足性