[an error occurred while processing this directive]An error occured whilst processing this directive
Abstract: We give a direct translation of the branching-time temporal logic CTL* into the modal mu-calculus.
Previous | Index | Next An error occured whilst processing this directive