On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic

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