Christoffer Sloth, Rafael Wisniewski, George J. Pappas. On the existence of compositional barrier certificates. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 4580-4585, IEEE, 2012. [doi]
@inproceedings{SlothWP12,
title = {On the existence of compositional barrier certificates},
author = {Christoffer Sloth and Rafael Wisniewski and George J. Pappas},
year = {2012},
doi = {10.1109/CDC.2012.6426178},
url = {http://dx.doi.org/10.1109/CDC.2012.6426178},
researchr = {https://researchr.org/publication/SlothWP12},
cites = {0},
citedby = {0},
pages = {4580-4585},
booktitle = {Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA},
publisher = {IEEE},
isbn = {978-1-4673-2065-8},
}