scientific article; zbMATH DE number 1979544
From MaRDI portal
Publication:4427896
zbMath1019.68632MaRDI QIDQ4427896
Publication date: 14 September 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170070.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Symbolic Trajectory Evaluation ⋮ GSTE is partitioned model checking ⋮ A transformation-based approach to implication of GSTE assertion graphs ⋮ The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
This page was built for publication: