Programming Languages and Systems
From MaRDI portal
Publication:5493400
DOI10.1007/11575467zbMath1159.68367MaRDI QIDQ5493400
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (2)
A model checking-based approach for security policy verification of mobile systems ⋮ Abstract interpretation based verification of temporal properties for BioAmbients
Uses Software
This page was built for publication: Programming Languages and Systems
