%0 Conference Paper
%B Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings
%D 2016
%T On Interval Dynamic Logic
%A Regivan H. N. Santiago
%A Benjam{\'ı}n R. C. Bedregal
%A Alexandre Madeira
%A Manuel A. Martins
%P 129–144
%R 10.1007/978-3-319-49815-7_8
%U http://dx.doi.org/10.1007/978-3-319-49815-7_8
%X n/a
%Z n/a