On Interval Dynamic Logic
- 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
Citation Key:
DBLP:conf/sbmf/SantiagoBMM16
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.