Beutner, R., & Finkbeiner, B. (2024). Non-Deterministic Planning for Hyperproperty Verification.
Style de citation Chicago (17e éd.)Beutner, Raven, et Bernd Finkbeiner. Non-Deterministic Planning for Hyperproperty Verification. 2024.
Style de citation MLA (9e éd.)Beutner, Raven, et Bernd Finkbeiner. Non-Deterministic Planning for Hyperproperty Verification. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.