scientific article
From MaRDI portal
Publication:2753765
zbMath0976.68041MaRDI QIDQ2753765
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality ⋮ Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
This page was built for publication: