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: |
|