Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
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.
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.
Castiglioni, Valentina
Loreti, Michele
and
Tini, Simone
2023.
Coordination Models and Languages.
Vol. 13908,
Issue. ,
p.
115.