Xu Wang : Publications

Technical reports

• [1]

  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