What's in a Name? Linear Temporal Logic Literally Represents Time Lines.

Runming Li, Keerthana Gurushankar, Marijn J. H. Heule, Kristin Yvonne Rozier

Browse the full VISSOFT paper archive.