Bibtex de la publication

@InProceedings{ Lo2013.9,
author = {Balbiani, Philippe and Lorini, Emiliano},
title = "{Ockhamist Propositional Dynamic Logic: a natural link between PDL and CTL* (regular paper)}",
booktitle = "{International Workshop on Logic, Language and Information (WOLLIC), Darmstadt, 20/08/2013-23/08/2013}",
editor = {Libkin, L. and Kohlenbach, U. and de Queiroz, R. and , },
year = {2013},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
volume = {8071},
series = {LNCS},
pages = {251--265},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/12761/}
}