View of Decidability of a syntactic fragment of the hybrid computation tree logic with the operator

Return to Issue Details Decidability of a syntactic fragment of the hybrid computation tree logic with the operator Download Download PDF