- Citation:
- Santiago RHN, Bedregal B{\'ı}nRC, Madeira A, Martins MA.
2016. On Interval Dynamic Logic. Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings. :129–144.
Abstract:
n/a
Notes:
n/a
Website
Citation Key:
DBLP:conf/sbmf/SantiagoBMM16