Feeken, L., & Fränzle, M. (2025). Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion.
Chicago Style (17th ed.) CitationFeeken, Linda, and Martin Fränzle. Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. 2025.
MLA (9th ed.) CitationFeeken, Linda, and Martin Fränzle. Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. 2025.
Warning: These citations may not always be 100% accurate.