Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.

Sara NavidPour, Mohammad Izadi, Ali Movaghar

Browse the full COMPSAC paper archive.