Towards the formal verification of data-intensive applications through metric temporal logic

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Francesco Marconi (PMI), Marcello Maria Bersani (PMI), Madalina Erascu (IeAT), Matteo G. Rossi (PMI)

Journal title: 18th International Conference on Formal Engineering Methods (ICFEM)

Journal number: 14-18 November 2016

Journal publisher: Springer LNCS

Published year: 2016

Published pages: 16

DOI identifier: 10.1007/978-3-319-47846-3_13