A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 10.1007/3-540-46541-3_2