scientific article; zbMATH DE number 2166693
From MaRDI portal
Publication:4673959
zbMath1109.68403MaRDI QIDQ4673959
Publication date: 9 May 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Design of secure operating systems with high security levels ⋮ Symbolic algorithmic verification of intransitive generalized noninterference
This page was built for publication: