Crossmark

Observational Equivalence

Crossref DOI link: https://doi.org/10.1007/978-3-031-90936-8_13

Published Online: 2025-07-28

Published Print: 2026

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Basin, David https://orcid.org/0000-0003-2952-939X
Cremers, Cas https://orcid.org/0000-0003-0322-2293
Dreier, Jannik https://orcid.org/0000-0002-1026-3360
Sasse, Ralf https://orcid.org/0000-0002-5632-6099
License Information

Text and Data Mining valid from 2025-07-28

Version of Record valid from 2025-07-28
More Information

Chapter History

First Online: 28 July 2025