On interval dynamic logic
From MaRDI portal
Publication:1784786
DOI10.1007/978-3-319-49815-7_8zbMath1396.68035OpenAlexW2554547443MaRDI QIDQ1784786
Regivan H. N. Santiago, Manuel A. Martins, Alexandre Madeira, Benjamín René Callejas Bedregal
Publication date: 27 September 2018
Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6310
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: On interval dynamic logic
