scientific article
From MaRDI portal
Publication:2848479
zbMath1272.68237MaRDI QIDQ2848479
K. R. Raghavendra, Deepak D'Souza, Barbara Sprick
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050516
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Symbolic algorithmic verification of intransitive generalized noninterference ⋮ Synthesis of Non-Interferent Timed Systems
This page was built for publication:
