Heim, P., & Dimitrova, R. (2025). Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems.
Chicago-Zitierstil (17. Ausg.)Heim, Philippe, und Rayna Dimitrova. Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems. 2025.
MLA-Zitierstil (9. Ausg.)Heim, Philippe, und Rayna Dimitrova. Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.