Runming Li, Keerthana Gurushankar, Marijn J. H. Heule, Kristin Yvonne Rozier. What's in a Name? Linear Temporal Logic Literally Represents Time Lines. In IEEE Working Conference on Software Visualization, VISSOFT 2023, Bogotá, Colombia, October 1-2, 2023. pages 73-83, IEEE, 2023. [doi]
Abstract is missing.