Identifying XML Schema Constraints Using Temporal Logic.

Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu

Browse the full SETTA paper archive.