Feeken, L., & Fränzle, M. (2025). Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion.
Cita Chicago Style (17a ed.)Feeken, Linda, y Martin Fränzle. Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. 2025.
Cita MLA (9a ed.)Feeken, Linda, y Martin Fränzle. Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. 2025.
Precaución: Estas citas no son 100% exactas.