Bibtex de la publication

@InProceedings{ Ba2015.26,
author = {Balbiani, Philippe and Boudou, Joseph},
title = "{Tableaux methods for propositional dynamic logics with separating parallel composition (regular paper)}",
booktitle = "{Conference on Automated Deduction (CADE), Berlin (Germany), 01/08/2015-07/08/2015}",
year = {2015},
publisher = {Springer},
address = {http://www.springerlink.com},
pages = {539--554},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/19189/}
}