scientific article
From MaRDI portal
Publication:2722053
zbMath0966.68202MaRDI QIDQ2722053
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
A static analysis for brane calculi providing global occurrence counting information ⋮ A static analysis of cryptographic processes: the denotational approach ⋮ A Global Occurrence Counting Analysis for Brane Calculi
This page was built for publication:
