%0 Conference Paper %1 conf/bic-ta/ZhuWZN16 %A Zhu, Weijun %A Wang, Yanfeng %A Zhou, Qinglei %A Nie, Kai %B BIC-TA (1) %D 2016 %E Gong, Maoguo %E Pan, Linqiang %E Song, Tao %E Zhang, Gexiang %I Springer %K dblp %P 12-20 %T Model Checking Computational Tree Logic Using Sticker Automata. %U http://dblp.uni-trier.de/db/conf/bic-ta/bic-ta2016-1.html#ZhuWZN16 %V 681 %@ 978-981-10-3610-1

@inproceedings{conf/bic-ta/ZhuWZN16, added-at = {2017-05-17T00:00:00.000+0200}, author = {Zhu, Weijun and Wang, Yanfeng and Zhou, Qinglei and Nie, Kai}, biburl = {https://www.bibsonomy.org/bibtex/21151485fe77965d76dfb4bd79a8321dd/dblp}, booktitle = {BIC-TA (1)}, crossref = {conf/bic-ta/2016-1}, editor = {Gong, Maoguo and Pan, Linqiang and Song, Tao and Zhang, Gexiang}, ee = {https://doi.org/10.1007/978-981-10-3611-8_2}, interhash = {7090c3675feb1ba4b20d5b8685f2e973}, intrahash = {1151485fe77965d76dfb4bd79a8321dd}, isbn = {978-981-10-3610-1}, keywords = {dblp}, pages = {12-20}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-08-26T07:39:07.000+0200}, title = {Model Checking Computational Tree Logic Using Sticker Automata.}, url = {http://dblp.uni-trier.de/db/conf/bic-ta/bic-ta2016-1.html#ZhuWZN16}, volume = 681, year = 2016 }