On Interval Dynamic Logic.
Autor: | Santiago, Regivan H. N., Bedregal, Benjamín, Madeira, Alexandre, Martins, Manuel A. |
---|---|
Zdroj: | Formal Methods: Foundations & Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings; 2016, p129-144, 16p |
Databáze: | Complementary Index |
Externí odkaz: |