Xu Wang
|
Xu
Wang
Consultant Research Associate
Wolfson Building, Parks Road, Oxford OX1 3QD |
Selected Publications
| Revisiting Timed Specification Theories: A Linear−Time Perspective Chris Chilton‚ Marta Kwiatkowska and Xu Wang No. CS−RR−12−04. DCS. 2012. |
Info
|
Themes |
|
|
Completed Projects |
