Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.”10.1007/3-540-63166-6_34__9th International Conference on Computer Aided Verification, vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.

Alur, Rajeev, et al. “Alternating-Time Temporal Logic.”10.1145/585265.585270__Proceedings of the 38th Annual Symposium on Foundations of Computer Science, Association for Computing Machinery (ACM), 1997, pp. 100–09, doi:10.1145/585265.585270.

Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.”10.1023/A:1008626013578__Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.

Alur, Rajeev, et al. “Symbolic Analysis of Hybrid Systems.”10.1109/CDC.1997.650717Â  __Proceedings of the 36th IEEE Conference on Decision and Control, IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717Â  .

Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.”10.1007/bf02466014__Functional Analysis and Its Applications, vol. 31, no. 2, Springer Nature, 1997, pp. 95–99, doi:10.1007/bf02466014.

Hunt, Brian R., and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.”10.1088/0951-7715/10/5/002__Nonlinearity, vol. 10, no. 5, IOP Publishing, 1997, pp. 1031–46, doi:10.1088/0951-7715/10/5/002.