%0 Conference Paper %1 conf/setta/XuSD16 %A Xu, Qingguo %A de Simone, Robert %A DeAntoni, Julien %B SETTA %D 2016 %E Fränzle, Martin %E Kapur, Deepak %E Zhan, Naijun %K %P 18-37 %T Divergence Detection for CCSL Specification via Clock Causality Chain. %U http://dblp.uni-trier.de/db/conf/setta/setta2016.html#XuSD16 %V 9984 %@ 978-3-319-47676-6

@inproceedings{conf/setta/XuSD16, added-at = {2023-12-13T00:53:28.000+0100}, author = {Xu, Qingguo and de Simone, Robert and DeAntoni, Julien}, biburl = {https://www.bibsonomy.org/bibtex/216c7266088a75c9154b1344eacc120a3/admin}, booktitle = {SETTA}, crossref = {conf/setta/2016}, editor = {Fränzle, Martin and Kapur, Deepak and Zhan, Naijun}, ee = {https://doi.org/10.1007/978-3-319-47677-3_2}, interhash = {69e3dcb1ff563563948d5fd92828b756}, intrahash = {16c7266088a75c9154b1344eacc120a3}, isbn = {978-3-319-47676-6}, keywords = {}, pages = {18-37}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:53:28.000+0100}, title = {Divergence Detection for CCSL Specification via Clock Causality Chain.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2016.html#XuSD16}, volume = 9984, year = 2016 }