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