Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Kucherov, M.
and
Bogulskaya, Nina A.
2023.
Trilattice-Based Access Control Models: How to Secure Current Computer Network Mikhail.
WSEAS TRANSACTIONS ON COMPUTERS,
Vol. 22,
Issue. ,
p.
98.
Schröer, Philipp
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
and
Matheja, Christoph
2023.
A Deductive Verification Infrastructure for Probabilistic Programs.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. OOPSLA2,
p.
2052.
Castiglioni, Valentina
Loreti, Michele
and
Tini, Simone
2023.
Coordination Models and Languages.
Vol. 13908,
Issue. ,
p.
115.