Stoltenow, L., König, B., Schneider, S., Corradini, A., Lambers, L., & Orejas, F. (2024). Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions.
Style de citation Chicago (17e éd.)Stoltenow, Lara, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, et Fernando Orejas. Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. 2024.
Style de citation MLA (9e éd.)Stoltenow, Lara, et al. Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.