scientific article
From MaRDI portal
Publication:3999200
zbMath0825.68229MaRDI QIDQ3999200
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (4)
Three systems for cryptographic protocol analysis ⋮ Rule formats for compositional non-interference properties ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Unnamed Item
This page was built for publication:
