LTL transformation modulo positive transitions

Mustapha Bourahla. LTL transformation modulo positive transitions. IET Computers & Digital Techniques, 11(6):205-213, 2017. [doi]

Abstract

Abstract is missing.