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]
@inproceedings{LiZ13-17, title = {On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic}, author = {Wenrui Li and Pengcheng Zhang}, year = {2013}, doi = {10.1109/ASWEC.2013.11}, url = {http://dx.doi.org/10.1109/ASWEC.2013.11}, researchr = {https://researchr.org/publication/LiZ13-17}, cites = {0}, citedby = {0}, pages = {1-10}, booktitle = {22nd Australian Conference on Software Engineering (ASWEC 2013), 4-7 June 2013, Melbourne, Victoria, Australia}, publisher = {IEEE}, }