De Alfaro, Luca, et al. “The Control of Synchronous Systems, Part II.”10.1007/3-540-44685-0_38__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
LibreCat: https://research-explorer.ista.ac.at/record/4634
DOI: 10.1007/3-540-44685-0_38

De Alfaro, Luca, et al. “Symbolic Algorithms for Infinite-State Games.”10.1007/3-540-44685-0_36__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
LibreCat: https://research-explorer.ista.ac.at/record/4633
DOI: 10.1007/3-540-44685-0_36

De Alfaro, Luca, et al. “Compositional Methods for Probabilistic Systems.”10.1007/3-540-44685-0_24__Proceedings of the 12th International Conference on on Concurrency Theory, vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
LibreCat: https://research-explorer.ista.ac.at/record/4632
DOI: 10.1007/3-540-44685-0_24