scientific article; zbMATH DE number 588035
From MaRDI portal
Publication:4295369
zbMath0821.68001MaRDI QIDQ4295369
No author found.
Publication date: 12 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Artificial intelligence (68T99) Computer system organization (68M99) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Theory of software (68N99)
Related Items (7)
Verifying persistent security properties ⋮ Test suite oscillations ⋮ Probabilistic anonymity via coalgebraic simulations ⋮ The universal safeness of test allocation strategies for partition testing ⋮ Semantics of multiway dataflow constraint systems ⋮ Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols ⋮ Quantifying Probabilistic Information Flow in Computational Reactive Systems
This page was built for publication: