Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Dongol, Brijesh
Hayes, Ian
Meinicke, Larissa
and
Struth, Georg
2019.
Mathematics of Program Construction.
Vol. 11825,
Issue. ,
p.
197.
Foster, Simon
Huerta y Munive, Jonathan Julián
and
Struth, Georg
2020.
Relational and Algebraic Methods in Computer Science.
Vol. 12062,
Issue. ,
p.
169.
Huerta y Munive, Jonathan Julián
and
Struth, Georg
2022.
Predicate Transformer Semantics for Hybrid Systems.
Journal of Automated Reasoning,
Vol. 66,
Issue. 1,
p.
93.
Furusawa, Hitoshi
Guttmann, Walter
and
Struth, Georg
2024.
Modal algebra of multirelations.
Journal of Logic and Computation,