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: Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Orlando, Albina; Santone, Antonella; Vaglini, Gigliola
Journal title: info:cnr-pdr/source/autori:Martinelli, Fabio; Mercaldo, Francesco; Nardone, Vittoria; Orlando, Albina; Santone, Antonella; Vaglini, Gigliola/titolo:Model checking based approach for compliance checking/doi:10.5755%2Fj01.itc.48.2.21724/rivista:Informacines technologijos ir valdymas/anno:2019/pagina_da:278/pagina_a:298/intervallo_pagine:278–298/volume:48
Journal number: 1
Journal publisher: Kaunas University of Technology
Published year: 2019
DOI identifier: 10.5755/j01.itc.48.2.21724
ISSN: 1392-124X
- Not specified