Xu Wang : Publications
Click here to download all publications in a single bibtex file
@techreport{RR-12-04, title = "Revisiting Timed Specification Theories: A Linear-Time Perspective", author = "Chris Chilton and Marta Kwiatkowska and Xu Wang", year = "2012", institution = "DCS", number = "CS-RR-12-04", pages = "20", }