Henri Hansen, Xu Wang. Compositional Analysis for Weak Stubborn Sets. In Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi, editors, 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011. pages 36-43, IEEE, 2011. [doi]
@inproceedings{HansenW11-0,
title = {Compositional Analysis for Weak Stubborn Sets},
author = {Henri Hansen and Xu Wang},
year = {2011},
doi = {10.1109/ACSD.2011.25},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.25},
researchr = {https://researchr.org/publication/HansenW11-0},
cites = {0},
citedby = {0},
pages = {36-43},
booktitle = {11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
editor = {Benoît Caillaud and Josep Carmona and Kunihiko Hiraishi},
publisher = {IEEE},
isbn = {978-0-7695-4387-1},
}