Secure information release in timed automata
From MaRDI portal
Publication:2324192
DOI10.1007/978-3-319-89722-6_2zbMath1427.68038OpenAlexW2799169671WikidataQ59416285 ScholiaQ59416285MaRDI QIDQ2324192
Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson
Publication date: 16 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89722-6_2
Related Items
This page was built for publication: Secure information release in timed automata