scientific article; zbMATH DE number 2143089
From MaRDI portal
Publication:4654726
zbMath1088.68774MaRDI QIDQ4654726
Hanne Riis Nielson, Flemming Nielson, Helmut Seidl
Publication date: 8 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Relational Analysis of Correlation ⋮ \textsf{CaPiTo}: Protocol stacks for services ⋮ Pathway analysis for BioAmbients ⋮ Type Inference for Correspondence Types ⋮ From flow logic to static type systems for coordination languages ⋮ Static analysis of topology-dependent broadcast networks ⋮ A Scalable Inclusion Constraint Solver Using Unification ⋮ A Formal Analysis of Complex Type Flaw Attacks on Security Protocols ⋮ Heuristics for Safety and Security Constraints
This page was built for publication:
