Wenrui Li, Pengcheng Zhang. On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic. In 22nd Australian Conference on Software Engineering (ASWEC 2013), 4-7 June 2013, Melbourne, Victoria, Australia. pages 1-10, IEEE, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.