Sara NavidPour, Mohammad Izadi, Ali Movaghar. Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. pages 211-218, IEEE Computer Society, 2008. [doi]
Abstract is missing.