University of Oxford Department of Computer Science

Xu Wang

Xu Wang

Consultant Research Associate

Leaving date: 30th June 2013

Completed Projects:

CONNECT-IP

Selected Publications

View All Manage publications

Revisiting Timed Specification Theories: A Linear−Time Perspective

Chris Chilton‚ Marta Kwiatkowska and Xu Wang

No. CS−RR−12−04. DCS. 2012.

Details about Revisiting Timed Specification Theories: A Linear−Time Perspective | BibTeX data for Revisiting Timed Specification Theories: A Linear−Time Perspective | Download (pdf) of Revisiting Timed Specification Theories: A Linear−Time Perspective

Back to Top