Dewes, R., & Dimitrova, R. (2024). Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements.
Style de citation Chicago (17e éd.)Dewes, Rafael, et Rayna Dimitrova. Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements. 2024.
Style de citation MLA (9e éd.)Dewes, Rafael, et Rayna Dimitrova. Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.