Search results for: Jing Sun
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Applications of Formal Methods > 237-252
Lecture Notes in Computer Science > FME 2003: Formal Methods > Program Checking and Testing > 796-813
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 156-167
Lecture Notes in Computer Science > Advances in Web-Age Information Management > XML and Semistructured Data > 520-531
Science of Computer Programming > 2014 > 95 > Part 1 > 93-111
Web Semantics: Science, Services and Agents on the World Wide Web > 2007 > 5 > 2 > 117-129