%0 Conference Paper %1 conf/ica3pp/DongLX18 %A Dong, Lanlan %A Liu, Guanjun %A Xiang, Dongming %B ICA3PP (4) %D 2018 %E Vaidya, Jaideep %E Li, Jin %I Springer %K dblp %P 47-61 %T Verifying CTL with Unfoldings of Petri Nets. %U http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2018-4.html#DongLX18 %V 11337 %@ 978-3-030-05063-4

@inproceedings{conf/ica3pp/DongLX18, added-at = {2018-12-26T00:00:00.000+0100}, author = {Dong, Lanlan and Liu, Guanjun and Xiang, Dongming}, biburl = {https://www.bibsonomy.org/bibtex/2395d3ccd750e5488a0009d9fa2b66496/dblp}, booktitle = {ICA3PP (4)}, crossref = {conf/ica3pp/2018-4}, editor = {Vaidya, Jaideep and Li, Jin}, ee = {https://doi.org/10.1007/978-3-030-05063-4_5}, interhash = {6caa93d5a6154e1505ffd4d90c39722e}, intrahash = {395d3ccd750e5488a0009d9fa2b66496}, isbn = {978-3-030-05063-4}, keywords = {dblp}, pages = {47-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:48:34.000+0200}, title = {Verifying CTL with Unfoldings of Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2018-4.html#DongLX18}, volume = 11337, year = 2018 }