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",
}