%0 Conference Paper %1 conf/aswec/LiZ13 %A Li, Wenrui %A Zhang, Pengcheng %B Australian Software Engineering Conference %D 2013 %I IEEE Computer Society %K dblp %P 1-10 %T On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic. %U http://dblp.uni-trier.de/db/conf/aswec/aswec2013.html#LiZ13 %@ 978-0-7695-4995-8

@inproceedings{conf/aswec/LiZ13, added-at = {2015-08-31T00:00:00.000+0200}, author = {Li, Wenrui and Zhang, Pengcheng}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b3aa45b040e03bc83bab0d446feec972/dblp}, booktitle = {Australian Software Engineering Conference}, crossref = {conf/aswec/2013}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2013.11}, interhash = {452231b90ddb3de1d36fa80f11e947a9}, intrahash = {b3aa45b040e03bc83bab0d446feec972}, isbn = {978-0-7695-4995-8}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T11:58:21.000+0100}, title = {On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic.}, url = {http://dblp.uni-trier.de/db/conf/aswec/aswec2013.html#LiZ13}, year = 2013 }